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