PRINCIPIA
ProductsSeminarAbout 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.