仕様の検証：OTS（観測繊維機械）で対象（STSプロトコル）のモデルを作成→CafeOBJとCoqで記述し形式化仕様を作成→安全性を信頼性を表す仕様を同じく作成→これらの記述が正しいことを双方の処理系で示す / “2493pape…” http://t.co/H9icdibp7J

RT @ipsj_sigemb: アーキテクチャ指向開発における形式手法の適用に関する考察 http://t.co/JUiXqVzC9t #ETNET2013