Automated software fault-tree analysis of Pascal programs

Software fault-tree analysis is based on a series of templates that each map programming language constructs to a subtree. The tool reads in a Pascal program and a software-caused hazard (postcondition), and fills it in template subtrees that correspond to the program's constructs. These subtrees are arranged in a tree of AND and OR gates in which the top event is the postcondition.<
>