Think Stitch
PRINCIPIA  最近の更新


A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking

2015年11月21日に東洋大学で行われた第16回 CSP 研究会において,"A Reduced Modeling Language and Its Processing for Efficient CSP Refinement Checking" というタイトルで話をさせていただきました.現在開発中の並列モデル検査ツール SSG のモデル記述言語と,それで記述されたモデルの処理についての紹介です.

検査のエンジン部分についてはこちらに紹介資料があります.

2015/11/22
© 2013,2014,2015 PRINCIPIA Limited