hatsugai
(hatsugai)

利用開始日: 2014/09/13

SyncStitch というツールを開発しています。組み込みやマルチスレッドなど、並行システムの仕様や設計を対話的にモデル化し検査するツールです。CSP を基礎にしており、状態遷移図, CSP, Scheme でモデルを記述します。モデルのシミュレーションと、デッドロック、ライブロック、正当性の検査ができます。

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 終了

Lisp

Lisp Meet Up presented by Shibuya.lisp #32

Shibuya.lisp Shibuya.lisp

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

23/25

hatsugai

hatsugaiさんのフォロー 0

フォローはいません。

hatsugaiさんのフォロワー 0

フォロワーはいません。