AFTP Fault Tree Analysis Program
Richard A. Pullen · IEEE Transactions on Reliability · 1984
Evaluation of the cut sets of large s-coherent and non-coherent fault trees presents a severe computational problem. The computer program, AFTP has been used to evaluate the important minimal cut and path sets of large fault trees containing many hundreds of gates. The computational advantages of a Boolean algebra, bottom-up approach are emphasised.