xSAP – The 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.

Contacts

Marco Bozzano <>

Website

Recent Posts