形式手法の参考図書
形式手法の参考図書も紹介して頂きました。
Systems and Software Verification: Model-Checking Techniques and Tools
- 作者: B. Berard,M. Bidoit,A. Finkel,F. Laroussinie,A. Petit,L. Petrucci,P. Schnoebelen,P. McKenzie
- 出版社/メーカー: Springer
- 発売日: 2001/08
- メディア: ハードカバー
- クリック: 1回
- この商品を含むブログ (2件) を見る
Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)
- 作者: 来間啓伸,中島震
- 出版社/メーカー: 近代科学社
- 発売日: 2007/12/01
- メディア: 単行本
- 購入: 1人 クリック: 13回
- この商品を含むブログ (4件) を見る