hatsugai
(hatsugai)
Usage start date: 09/13/2014
並行システムのモデル化・検査ツール SyncStitch を開発しています．プロセス代数 CSP を基礎にしており，デッドロック・ライブロック・安全性・正当性（詳細化関係）の検査ができます．検査結果を視覚的かつ対話的に分析できます．
- Attended 30
- Organize 73
- Presenter 2
- Bookmark 0
2020
08/23
（Sun）13:00〜
Organizing
hatsugai2020
08/22
（Sat）13:00〜
Organizing
2020
08/19
（Wed）20:30〜
Organizing
2020
08/15
（Sat）13:00〜
Organizing
2020
08/10
（Mon）12:00〜
Organizing
2020
08/09
（Sun）13:00〜
Organizing
2020
08/08
（Sat）13:00〜
Organizing
2020
08/05
（Wed）21:00〜
Organizing
2020
08/04
（Tue）21:00〜
Organizing
2020
08/02
（Sun）16:00〜
Organizing
The IT meetup platform
connpass is made by BeProud Inc. in Tokyo Japan