ProductsDocumentationsAbout Us


Pthread Model Checker A parallel model checking tool for multithreaded programs written in C and POSIX thread (pthread).
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.