A Stack-Slicing Algorithm for Multi-Core Model Checking

The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantage of the additional processing power. With a steady increase in the number of available processing cores, we would like t...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Electronic notes in theoretical computer science Ročník 198; číslo 1; s. 3 - 16
Hlavní autor: Holzmann, Gerard J.
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 23.02.2008
Témata:
Cluster computers
Distributed systems
Logic model checking
Multi-core systems
Multi-threaded programming
Software verification
Logic model checking
Multi-threaded programming
Cluster computers
Software verification
Distributed systems
Multi-core systems
ISSN:1571-0661, 1571-0661
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:The broad availability of multi-core chips on standard desktop PCs provides strong motivation for the development of new algorithms for logic model checkers that can take advantage of the additional processing power. With a steady increase in the number of available processing cores, we would like the performance of a model checker to increase as well – ideally linearly. The new trend implies a change of focus away from cluster computers towards shared memory systems. In this paper we discuss the multi-core algorithms that are in development for the SPIN model checker.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2007.10.017