SyncStitch - PRINCIPIA Limited
Overview SyncStitch is a model checker based on the process algebra CSP (Communicating Sequential Processes). By using SyncStitch, you can check six types of properties of the system you are developping: Deadlocks Divergences (also known as livelocks) Refinement relation on traces semantics (safety) Refinement relation on stable failures semantics (safety and liveness) LTL (Linear-Time Logic) with
An Introduction to Communicating Sequential Processes (CSP) - Think Stitch - PRINCIPIA
CSP (Communicating Sequential Processes) の紹介資料 並行システムの理論 CSP (Communicating Sequential Processes) についての紹介資料を作成しました．並行システムの開発でポイントになる概念，逐次システムとの対比，CSP 理論の概要，検証手法とツールの紹介からなります． 並行システムの理論 CSP の紹介 (PDF, 2016/11/15 updated) 2016/11/19 に行われた「静的コード解析の会 第0回」で発表しました． http://metasepi.connpass.com/event/42141/ ビデオを撮っていただいたのですが，残念ながら音声がうまくとれなかったようです．再度紹介する機会があれば撮り直したいと思いますが... 「並行システムの理論 CSP の紹介」 on YouTube
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ソフトウェア開発を工学にする形式手法の紹介 - formal_methods.pdf
syncstitch_install_memo
