モデル検査の文献
『Principles of Model Checking』
『抽象によるソフトウェア設計 Alloyではじめる形式手法』
#特定の文献リスト
#文献まとめ