PRINCIPIA
ProductsAbout Us

セミナー情報

形式手法に関するセミナーを開催しています.

デッドロック発見器を作って学ぶマルチスレッドプログラミング

参加者が自分の好きなプログラミング言語でデッドロック発見器を作り,それを使ってマルチスレッドプログラミングを学ぶハンズオンセミナーです. 講師と対話しながら自らプログラムを書くことでマルチスレッドプログラミングを深く理解することができます.さらに作成したプログラムは設計分析ツールとして活用することができます.

詳細につきましては CONNPASS をご覧ください.

SyncStitch: A Model Checker based on the Process Algebra CSP

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:

The behaviour of the system and the result of checking (violation or witness) can be shown as a computation tree and analyzed interactively.

News

14 June 2019 SyncStitch version 3 is released.