3 0 0 0 OA STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
- 著者
- 原 光太朗
- 巻号頁・発行日
- 2005-03
Supervisor:片山 卓也
言及状況
はてなブックマーク (1 users, 1 posts)
仕様の検証：OTS（観測繊維機械）で対象（STSプロトコル）のモデルを作成→CafeOBJとCoqで記述し形式化仕様を作成→安全性を信頼性を表す仕様を同じく作成→これらの記述が正しいことを双方の処理系で示す
Twitter (2 users, 2 posts, 0 favorites)
CafeOBJってはじめて知ったけど coq じゃだめなんか・・・？と思ってぐぐったら 可読性とか手間とかの観点で上流工程では前者が良いとある https://t.co/6FgUD25vqn
仕様の検証：OTS（観測繊維機械）で対象（STSプロトコル）のモデルを作成→CafeOBJとCoqで記述し形式化仕様を作成→安全性を信頼性を表す仕様を同じく作成→これらの記述が正しいことを双方の処理系で示す / “2493pape…” http://t.co/H9icdibp7J