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.
|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.|