Title: Model Checking Software
Subjects: SPIN (Computer file), Congresses, Verification, Computer software