hatsugai
(hatsugai)
利用開始日: 2014/09/13
並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CSP を基礎にしており，デッドロック・ライブロック・安全性・正当性（詳細化関係）の検査ができます．検査結果を視覚的かつ対話的に分析できます．
2020
/
12/19
（土）12:00〜
主催
hatsugai2020
/
12/12
（土）13:00〜
主催
2020
/
11/28
（土）13:00〜
主催
2020
/
11/14
（土）13:00〜
主催
2020
/
10/31
（土）13:00〜
主催
2020
/
10/04
（日）13:00〜
主催
2020
/
09/20
（日）13:00〜
主催
2020
/
09/12
（土）13:00〜
主催
2020
/
09/06
（日）13:00〜
主催
2020
/
09/05
（土）13:00〜
主催
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています