Verification of reactive systems

大学のサテライトキャンパスにて所蔵本が借りれることになった。
といっても、サテライト授業関係の書籍ばっかりでありますが、
ないよりましですね。

早速、HOL/Isabelle本と、Verification of reactive systems を借りた。

後者は形式検証にまつわる全てを記述した本で、俯瞰するのによろしい。
こんな本が欲しかったんだなー。

書評に「この本は３つのタイプの読者を想定していると思われる、
理論家と理論家と理論家である」と有った。内容の難しさと膨大な参考文献
からして相当勉強したんだなあー、頭の中を見てみたい気がする。