PRINCIPIA
ProductsAbout Us

Products

SyncStitch SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes).