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