PRINCIPIA
ProductsAbout Us

SyncStitch: A Model Checker based on the Process Algebra CSP

SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes). By using SyncStitch, you can check six types of properties of the system you are developping:

The behaviour of the system and the result of checking (violation or witness) can be shown as a computation tree and analyzed interactively.

News

14 June 2019 SyncStitch version 3 is released.