hatsugai
(hatsugai)

Usage start date: 09/13/2014

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

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

2020

07/30

(Thu)

19:30〜

Attending

Shibuya.lisp lispmeetup #88 Ended

Shibuya.lisp

Shibuya.lisp lispmeetup #88

Shibuya.lisp Shibuya.lisp

お家のインターネット

16/55

2020

07/26

(Sun)

15:00〜

Attending

2020

07/19

(Sun)

13:00〜

Attending

2020

06/28

(Sun)

13:00〜

Attending

2020

05/17

(Sun)

13:00〜

Attending

2020

04/30

(Thu)

19:30〜

Attending

Shibuya.lisp lispmeetup #85 Ended

Shibuya.lisp

Shibuya.lisp lispmeetup #85

Shibuya.lisp Shibuya.lisp

お家のインターネット

23/55