118 search results - page 1 / 24 » Multi-Core Model Checking with SPIN |
103
click to vote
IPPS
2007
IEEE
15 years 3 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-...
CORR
2010
Springer
14 years 9 months 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...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
SPIN
1999
Springer
15 years 1 months ago
1999
Springer
SPIN
2012
Springer
12 years 12 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...