Title: Model Checking Software
Subjects: Logic design, Computer science, Software engineering, Computer software, verification, SPIN (Computer file), Computer simulation, Congresses, Verification, Data processing, Testing, Computer software, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters