Attack Tree

• Attack Tree — An overview of the Attack Tree module.
• distribution tlist — The distribution tlist data type.
• atkTr_and — sorted distribution tlist conjunction (and)
• atkTr_compact — compacts a multiset distribution tlist
• atkTr_erlangBounds — discrete Erlang distribution bounds
• atkTr_loadDist — loads a tlist distribution from a text file.
• atkTr_lowerBound — lowerBound with a limited number of states
• atkTr_merge — distribution tlist merge
• atkTr_or — sorted distribution tlist disjunction (or)
• atkTr_saveDist — saves a tlist distribution in a text file.
• atkTr_seq — sorted distribution tlist sequential conjunction (seq)
• atkTr_sortState — sorts a multiset distribution tlist with the states in ascending order
• atkTr_upperBound — upperBound with a limited number of states