Multi-Core Model Checking with SPIN

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… (More)
DOI: 10.1109/IPDPS.2007.370410

Topics

  • Presentations referencing similar topics