hatsugai
(hatsugai)

Usage start date: 09/13/2014

並行システムのモデル化・検査ツール SyncStitch を開発しています.プロセス代数 CSP を基礎にしており,デッドロック・ライブロック・安全性・正当性(詳細化関係)の検査ができます.検査結果を視覚的かつ対話的に分析できます.

2021

08/07

(Sat)

12:00〜

Organizing

2021

07/31

(Sat)

2021

07/03

(Sat)

13:00〜

Organizing

2021

06/27

(Sun)

2021

06/19

(Sat)

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)

2021

05/19

(Wed)

19:30〜

Organizing