hatsugai
(hatsugai)
利用開始日: 2014/09/13
並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CSP を基礎にしており，デッドロック・ライブロック・安全性・正当性（詳細化関係）の検査ができます．検査結果を視覚的かつ対話的に分析できます．
2017
/
02/05
（日）12:45〜
申込済
masterq2016
/
11/19
（土）12:45〜
主催
申込済
出席済み
2015
/
09/29
（火）19:30〜
申込済
Shibuya.lisp2015
/
09/13
（日）11:30〜
申込済
pocketberserker2014
/
10/25
（土）11:30〜
申込済
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています