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