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

Podrobná bibliografia

Vydané 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:	English
Vydavateľské údaje:	Elsevier B.V 23.02.2008
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!