hatsugai
(hatsugai)
利用開始日: 2014/09/13
SyncStitchというツールを開発しています。マルチスレッド，組込み，ネットワーク系等，並行・並列システムの動作を対話的にモデル化し検査する設計支援ツールです。CSP理論を基礎にしており、状態遷移図や関数型言語でモデルを記述します。モデルのシミュレーションと，デッドロック、ライブロック、正当性の検査ができます。
2019
03/02
（土）13:00〜
主催
申込済
masterq2018
12/01
（土）10:30〜
主催
hatsugai2018
10/13
（土）12:45〜
主催
申込済
2018
05/12
（土）12:45〜
主催
申込済
2018
01/20
（土）12:45〜
主催
申込済
2017
09/23
（土）12:45〜
主催
申込済
2016
11/19
（土）12:45〜
主催
申込済
エンジニアをつなぐ
connpass は株式会社ビープラウドが開発・運営しています