hatsugai
(hatsugai)

Usage start date: 09/13/2014

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

2020

08/23

(Sun)

2020

08/22

(Sat)

2020

08/19

(Wed)

2020

08/15

(Sat)

2020

08/10

(Mon)

2020

08/08

(Sat)

2020

08/02

(Sun)