参考資料 - IPA/SEC

□参考資料
「厳密な仕様記述における形式手法成功事例調査報告書」
http://www.ipa.go.jp/files/000026875.pdf
実務家のための形式手法：
「厳密な仕様記述入門」
http://www.ipa.go.jp/files/000026829.pdf
実務家のための形式手法：
「対象を如何にモデル化するか?」
http://www.ipa.go.jp/files/000026828.zip
「先進的な設計・検証技術の適用事例報告書 2013 年度版」
http://www.ipa.go.jp/sec/reports/20140530.html
事例番号
A-11、B-7、B-8、B-10
「先進的な設計・検証技術の適用事例報告書 2015 年度版」
http://www.ipa.go.jp/sec/reports/20151118.html
事例番号
15-B-13

Download Report