ProductsDocumentationsAbout Us


SSG A Parallel Refinement Checker based on CSP
MCCSP A CSP communication library for C/C++
SyncStitch A Tool for designing concurrent systems based on the process algebra CSP (Communicating Sequential Processes). Using SyncStitch, you can model, simulate, and check concurrent systems such as multi-threading applications, embedded systems, and network programs.
© 2013-2017 PRINCIPIA Limited