Title: Principles of model checking
Subjects: Computer systems, Verification, Computer software, Systems software, Computer software, verification, Quality control & testing - programming, General & miscellaneous computing