PRINCIPIA
ProductsAbout Us

SyncStitch: A Model Checker based on the process algebra CSP

Overview

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.