FBK
Home Features Documentation License Download People & Contact Related Projects Publications Useful Links Submit Bug Reports FAQ

The xSAP safety analysis platform

xSAP is a tool for safety assessment of synchronous finite-state and infinite-state systems. It is based on symbolic model checking techniques. xSAP supersedes FSAP

xSAP provides the following main capabilities:

See Features for the complete list of features.

xSAP is Copyright by Fondazione Bruno Kessler 2015; it can be used only for non-commercial or academic purposes.

The list of xSAP users is open for registration and discussion: