Title: Model Checking Software
Subjects: Logic design, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Computer software, verification, Computer simulation