hatsugai
(hatsugai)

利用開始日: 2014/09/13

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

2017

02/05

(日)

12:45〜

申込済

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

Metasepi

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

masterq masterq

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

12/15

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

2015

09/13

(日)

11:30〜

申込済

関数プログラミング交流会(参加者用) 終了

関数プログラミング交流会(参加者用)

pocketberserker pocketberserker

東京都中央区銀座4-12-15

97/101

2014

10/25

(土)

11:30〜

申込済

函数型なんたらの集い 2014 in Tokyo 終了

函数型なんたらの集い 2014 in Tokyo

pocketberserker pocketberserker

東京都中央区銀座4-12-15

94/82

hatsugai

hatsugaiさんのフォロー 0

フォローはいません。

hatsugaiさんのフォロワー 0

フォロワーはいません。