hatsugai
(hatsugai)
利用開始日: 2014/09/13
SyncStitchというツールを開発しています。マルチスレッド,組込み,ネットワーク系等,並行・並列システムの動作を対話的にモデル化し検査する設計支援ツールです。CSP理論を基礎にしており、状態遷移図や関数型言語でモデルを記述します。モデルのシミュレーションと,デッドロック、ライブロック、正当性の検査ができます。
2016
11/19
(土)12:45〜
主催
申込済
2015
09/29
(火)19:30〜
申込済