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