hatsugai

hatsugai

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

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

2023

/

10/29

(Sun)14:30〜

Attending

2023

/

06/25

(Sun)14:30〜

Attending

2022

/

02/06

(Sun)14:00〜

Attending

2021

/

09/30

(Thu)19:30〜

Attending

2021

/

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

2020

/

08/27

(Thu)19:30〜

Attending

Shibuya.lisp lispmeetup #89 Ended

Shibuya.lisp

Shibuya.lisp lispmeetup #89

Shibuya.lisp Shibuya.lisp

お家のインターネット

15/55

hatsugai