PRINCIPIA
ProductsSeminarAbout Us

Products

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