DocumentCode :
3625157
Title :
Multi-Core Model Checking with SPIN
Author :
Gerard J. Holzmann;Dragan Bosnacki
Author_Institution :
Laboratory for Reliable Software, Jet Propulsion Laboratory, Pasadena, CA 91109 USA. phone: 818-393-5937
fYear :
2007
fDate :
3/1/2007 12:00:00 AM
Firstpage :
1
Lastpage :
8
Abstract :
We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-memory systems, and are initially restricted to dual-core systems. The extensions we have made require only small changes in the SPIN source code, and preserve virtually all existing verification modes and optimization techniques supported by SPIN, including the verification of both safety and liveness properties and the verification of SPIN models with embedded C code fragments.
Keywords :
"Logic","Power system modeling","Safety","Laboratories","Radio access networks","Clocks","Load management","Algorithm design and analysis","Distributed algorithms","Software systems"
Publisher :
ieee
Conference_Titel :
Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International
ISSN :
1530-2075
Print_ISBN :
1-4244-0909-8
Type :
conf
DOI :
10.1109/IPDPS.2007.370410
Filename :
4228138
Link To Document :
بازگشت