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