Multi-core model checking with Spin

G.J. Holzmann, D. Bosnacki

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

20 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 26-30 March 2007, Long Beach CA, USA
Plaats van productieUnited States, Long Beach, California
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's1-8
DOI's
StatusGepubliceerd - 2007

Vingerafdruk

Duik in de onderzoeksthema's van 'Multi-core model checking with Spin'. Samen vormen ze een unieke vingerafdruk.

Citeer dit