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