Fault Trees

FFORT A benchmark set for fault tree analysis

This paper presents FFORT (the Fault tree FOResT) A large, diverse, extendable, and open benchmark suite consisting of fault tree models, together with relevant metadata.