Home

Johannes Faber

Syspect is a tool to specify a system using UML2 diagramms and translate them into a CSP-OZ-DC specification for formal verification.


Project Members:


Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks