hatsugai

hatsugai

(hatsugai)
Usage start date: 09/13/2014

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

2023

/

04/16

(Sun)13:00〜

2023

/

04/02

(Sun)13:00〜

2023

/

03/18

(Sat)16:00〜

2021

/

07/03

(Sat)13:00〜

2021

/

06/27

(Sun)13:00〜

2021

/

06/19

(Sat)12:00〜

2021

/

06/15

(Tue)20:30〜

2021

/

06/13

(Sun)13:00〜

2021

/

06/02

(Wed)20:00〜

2021

/

05/30

(Sun)14:00〜

hatsugai