950 search results - page 27 / 190 » Software model checking with SPIN |
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
CBSE
2008
Springer
13 years 9 months ago
2008
Springer
RE
2002
Springer
13 years 7 months ago
2002
Springer
FOSSACS
2010
Springer
13 years 6 months ago
2010
Springer
TAICPART
2006
IEEE
14 years 1 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...