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