別名「プログラム検証の基礎と応用」
スケジュール・資料
2014年度 休講日：10/14（体育祭），10/28（講師都合），1/27（講師都合），2/3（修論発表会）
- 第1回： イントロダクション
- 第2回： 数理論理学の活用
- 第3回： 検証アプローチ
- 第4回： ホーア論理
- 第5回： 最弱事前条件・リファインメント
- 第6回： 形式仕様記述（１）
- 第7回： 形式仕様記述（２）
- 第7回で用いるツール：Overture IDE
- 第8回： 形式仕様記述（３）
- 第8回でインポートするプロジェクト：プロジェクトファイル
- 第9回： 形式仕様記述（４）
- 第10回： テスティング（１）
- 第11回： テスティング（２）
- 第12回： 演習（レポート）
- 第13回： まとめ・議論
- 第14-15回： 関連トピック
レポート締切：修了予定者2/20（金），それ以外3/6（金）
レポート提出先・問い合わせ先
f-ishikawa [[at]] nii.ac.jp