The Formal Safety Analysis Platform
FSAP screenshot

Introduction to FSAP

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.

The FSAP platform has been developed by the Embedded Systems Unit of FBK.


FSAP is now available for commercial licensing. See licensing for more details.