950 search results - page 27 / 190 » Software model checking with SPIN |
57
Voted
AMAST
1995
Springer
15 years 1 months ago
1995
Springer
CBSE
2008
Springer
14 years 11 months ago
2008
Springer
81
Voted
RE
2002
Springer
14 years 9 months ago
2002
Springer
FOSSACS
2010
Springer
14 years 8 months ago
2010
Springer
TAICPART
2006
IEEE
15 years 3 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...