Title: Model checking software
Subjects: Computer software, Congresses, SPIN (Computer file), Verification, Computer simulation, Testing, Data processing, Computer software, verification