hatsugai
(hatsugai)

利用開始日: 2014/09/13

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

2019

03/02

(土)

13:00〜

主催

申込済

(会場と日程を変更しました) #静的コード解析の会 第9回 終了

Metasepi

(会場と日程を変更しました) #静的コード解析の会 第9回

masterq masterq

東京都中央区日本橋2-7-1 (東京日本橋タワー)

18/45

2018

12/01

(土)

10:30〜

主催

並行プロセスの理論と設計検証入門セミナー 終了

PRINCIPIA

並行プロセスの理論と設計検証入門セミナー

hatsugai hatsugai

東京都港区南青山2-10-6 外苑ビル3F

6/6

2018

10/13

(土)

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq

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

9/18

2018

05/12

(土)

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq

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

8/18

2018

01/20

(土)

12:45〜

主催

申込済

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

Metasepi

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

masterq masterq

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

12/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