950 search results - page 27 / 190 » Software model checking with SPIN |
103
Voted
AMAST
1995
Springer
15 years 7 months ago
1995
Springer
114
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
122
Voted
RE
2002
Springer
15 years 3 months ago
2002
Springer
105
Voted
FOSSACS
2010
Springer
15 years 2 months ago
2010
Springer
124
Voted
TAICPART
2006
IEEE
15 years 9 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...