hatsugai
(hatsugai)

利用開始日: 2014/09/13

SyncStitchというツールを開発しています。マルチスレッド,組込み,ネットワーク系等,並行・並列システムの動作を対話的にモデル化し検査する設計支援ツールです。CSP理論を基礎にしており、状態遷移図や関数型言語でモデルを記述します。モデルのシミュレーションと,デッドロック、ライブロック、正当性の検査ができます。

2016

11/19

(土)

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq

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

15/25

2015

09/29

(火)

19:30〜

申込済

Lisp Meet Up presented by Shibuya.lisp #32 終了

Shibuya.lisp

Lisp Meet Up presented by Shibuya.lisp #32

Shibuya.lisp Shibuya.lisp

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

23/25