"Model Checking" の日本語解説

Clarke 先生の "Model Checking" を題材とした輪講で用いられたと思しき資料が上記の Wiki にありました。あまりにも素晴らしく、感動しましたのでメモ。

これで、あまりにも意味が不明で挫折しそうになった人でも、なんとか読み続ける勇気がもらえる気がします！

というか、日本語でモデル検査の教科書が出てくれればいいだけの話ではあるんですが……。