Title: Theoretical and practical aspects of SPIN model checking
Subjects: Computer software, Congresses, SPIN (Computer file), Verification, Computer simulation, Data processing, Testing, Computer files, Automatic theorem proving, Verification (Logic)