69 search results - page 1 / 14 » spin 2007 |
100
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
115
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
156
click to vote
IPPS
2007
IEEE
15 years 9 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-...