Title: Model checking software
Subjects: Computer software, Congresses, SPIN (Computer file), Verification, Computer files, Computer software, verification, Computers, congresses