Title: Model Checking Software
Subjects: Logic design, Computer science, Software engineering, SPIN (Computer file), Computer simulation, Congresses, Verification, Data processing, Testing, Computer software