Title: Model checking software
First published: 2005
Subjects: Computer software, Congresses, SPIN (Computer file), Verification, Logic design, Computer science, Software engineering, Computer simulation, Testing, Data processing