hatsugai
(hatsugai)

利用開始日: 2014/09/13

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

2017

09/23

(土)

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq

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

16/18

2017

07/23

(日)

11:00〜

申込済

Proof Summit 2017 終了

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1-13-1(銀座松竹スクエア13F)

64/108

2017

07/22

(土)

13:00〜

申込済

ML勉強会 #2 終了

ML勉強会

ML勉強会 #2

インターネットの闇 インターネットの闇

東京都中央区築地1丁目13−1 ADK松竹スクエア

59/108

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

Shibuya.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

フォロワーはいません。