FSAP – The Formal Safety Analysis Platform

FSAP aims at supporting design and safety engineers in the development and in the safety assessment of complex systems. The FSAP platform is composed of two main tools: FSAP (Formal Safety Analysis Platform), providing a graphical user interface for easier user interaction, and NuSMV-SA, an extension of the NuSMV model checker.