PRINCIPIA
ProductsAbout Us

SyncStitch: A Tool for Designing Concurrent Systems

System Requirements

Platform Ubuntu 16.04 or later, Debian 9 (stretch)
Microsoft Windows 10 (64bit) with Windows Subsystem for Linux (Ubuntu 18.04 or Debian GNU/Linux)
CPU x86_64 compatible processor
C Compiler gcc 5.4 or later