PRINCIPIA
ProductsDocumentationsAbout Us

Products

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.