名古屋大学集中講義「高階モデル検査とプログラム検証」
名古屋大学集中講義 情報システム学特別講義1「高階モデル検査とプログラム検証」 講義スライド
第一部
第二部
第三部
レポート課題(11/16締切り)
内容と提出方法は、上記第三部のスライドの最後の2枚を参照。