118 search results - page 1 / 24 » Multi-Core Model Checking with SPIN |
IPPS
2007
IEEE
13 years 11 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
13 years 4 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
13 years 11 months ago
2009
Springer
SPIN
1999
Springer
13 years 8 months ago
1999
Springer
SPIN
2012
Springer
11 years 7 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 ...