FormalFTA
OpenFTA is the world's most-used open source fault tree analysis software package. We made this freely available some years ago. Now we offer an improved, fully supported version as a low-cost commercial option.
Please visit our FormalFTA website for further details. We are also engaged in research activities into data exchange between fault tree packages using meta models.