PRINCIPIA
Products
About Us
SyncStitch: A Model Checker based on the process algebra CSP
Overview
System Requirements
Documentation
Download
Purchase
License Notice
FAQ
History
System Requirements
Operating System
Linux, macOS
Processor
x86-64
Memory
4 GiB or more
C Compiler
gcc 6.3 or later
GTK+
3.x