3 search results - page 1 / 1 » A Stack-Slicing Algorithm for Multi-Core Model Checking |
89
Voted
ENTCS
2008
15 years 13 days ago
2008
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 advantag...
125
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
—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-...
111
click to vote
CORR
2010
Springer
15 years 14 days ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...