hatsugai
(hatsugai)

利用開始日: 09/13/2014

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

2016

11/19

(Sat)

12:45〜

Organizing

Attending

#静的コード解析の会 第0回 Ended

Metasepi

#静的コード解析の会 第0回

masterq masterq

東京都千代田区神田須田町2-3-1 NBF神田須田町ビル7F

15/25

2015

09/29

(Tue)

19:30〜

Attending

Lisp Meet Up presented by Shibuya.lisp #32 Ended

Shibuya.lisp

Lisp Meet Up presented by Shibuya.lisp #32

Shibuya.lisp Shibuya.lisp

東京都渋谷区道玄坂1-16-3 渋谷センタープレイス 4階

23/25