Sciweavers

Share
IPPS
2007
IEEE

Multi-Core Model Checking with SPIN

9 years 3 months ago
Multi-Core Model Checking with SPIN
—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 dualcore 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.
Gerard J. Holzmann, Dragan Bosnacki
Added 03 Jun 2010
Updated 03 Jun 2010
Type Conference
Year 2007
Where IPPS
Authors Gerard J. Holzmann, Dragan Bosnacki
Comments (0)
books