Welcome to FormalFTA, an advanced fault tree analysis software tool.

Based on OpenFTA, the world's leading open source FTA tool that we have provided free of charge for many years, FormalFTA responds to users' needs for a robust product tailored to the demands of professional engineers in major corporations around the world. We offer FormalFTA as a greatly enhanced OpenFTA that is engineered to a superior level of quality and functionality, at a modest cost.

FormalFTA can edit fault trees created with OpenFTA.

FormalFTA screenshot