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