PRINCIPIA
Products
About Us
SyncStitch: A Model Checker based on the process algebra CSP
Overview
System Requirements
Documentation
Download
Purchase
License Notice
FAQ
History
Documentation
SyncStitch Reference Manual
An Introduction to SyncStitch 3 (slide pdf)
Links
An Introduction to Fluents: Event-based Model Checking (Japanese)
Fairness of Mutex (Japanese)