hatsugai
(hatsugai)

利用開始日: 09/13/2014

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

Your Groups

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人