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.

Contacts:

Marco Bozzano

Web site