hatsugai
(hatsugai)

利用開始日: 2014/09/13

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

所属グループ

2018

01/20

（土）

12:45〜

主催

#静的コード解析の会 第6回 開催前

Metasepi

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

masterq masterq 他

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

3/18人

2017

09/23

（土）

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq 他

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

16/18人

2016

11/19

（土）

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq 他

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

15/25人

hatsugai

hatsugaiさんのフォロー 0

フォローはいません。

hatsugaiさんのフォロワー 0

フォロワーはいません。