PRINCIPIA
ProductsDocumentationsAbout Us

SyncStitch: A Tool for Designing Concurrent Systems

SyncStitch is a tool that assists software professionals to design software systems. You can describe the behavior of target systems and their components as models and check whether they behave as you expect or not. SyncStitch is based on the CSP theory (Communicating Sequential Processes).

Please see this page for more information.

News

26 November, 2016 We have formally proved one of the most important theorem in theoretical CSP "the congruence between operational semantics and denotational semantics on traces" by using the theorem prover Isabelle/HOL. We reported this achievement at the 18th society for the study of CSP held at TOYO University. You can access the outline of the proof here.
19 November, 2016 Gave an introductory presentation about CSP at the Static Code Analysis meeting. You can download the material from here.
30 November, 2014 Gave a presentation about "A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking" at the 16th society for the study of CSP held at TOYO University. The presentation material is here.
6 June, 2015 Reported libraries for concurrent programming in C based on CSP at the 15th society for the study of CSP held at TOYO University. The presentation material is here.
18 April, 2015 SyncStitich version 1.2.0 is released.
30 November, 2014 Reported preliminary result of applying parallel and on-the-fly methods to CSP refinement checking at the 14th society for the study of CSP held at TOYO University. The presentation material is here.
4 September, 2013 SyncStitich version 1.1.1 is released.
26 August, 2013 SyncStitich version 1.1.0 is released.
29 July, 2013 Developers Blog "Think Stitch" is started.
23 July, 2013 SyncStitch is released.