ProductsAbout Us


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