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
2021
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