TOP
/
Memo
/ SD2CSP /
SDVerifier
/
Editor
/
Refinement
SD2CSP
SD2CSP is a tool which converts the sequence diagrams into CSP processes by using the synthesis operators. SDVerifier is a new tool which runs in browsers.
SDVerifier (2013)
Java Source (2012)
Synthesis Operators
Proof of Theorem 2
Copyright (C) 2010-2012 Tomohiro KAIZU, Some Rights Reserved.
Last Update: 2013/12/08
![[Definitions]](definitions.png "Definitions")
![[Theorems]](theorems.png "Theorems")
![[mail address image]](../mail.png){kind=small}