Think Stitch
PRINCIPIA  最近の更新


Parallel and on-the-fly CSP Refinement Checking

2014年11月29日に東洋大学で行われた第14回 CSP 研究会において,"Parallel and On-the-fly CSP Refinement Checking" というタイトルで CSP の詳細化検査 ツールに関する話をさせていただきました.検査ツールの並列化と on-the-fly とい う技法を適用した場合のパフォーマンスについてのレポートです.こちらに資料を置 いておきます.

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