ソフトウェア認証コンサイスガイド（テキスト）
Concise Guide to Software Verification
From Model Checking to Annotation Checking
Texts in Computer Science
Huisman, Marieke
Wijs, Anton
- 内容紹介：
-
This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice.