SyncStitch is a tool that assists software professionals to design software systems. You can interactively model the behavior of target systems and their components and check if they behave as you expect or not.
SyncStitch is a model checker (more strictly, a refinement checker) based on the CSP theory — Communicating Sequential Processes. You can check four types of assertions: no deadlocks, no divergences (a.k.a. livelocks), and two types of refinement relations based on the traces semantics and the stable-failures semantics in the CSP theory.
For more information, please visit the product page.
|16 July 2018||SyncStitch version 2.0 is released.|