950 search results - page 27 / 190 » Software model checking with SPIN |
170
Voted
RE
2002
Springer
15 years 6 months ago
2002
Springer
139
Voted
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
179
click to vote
TAICPART
2006
IEEE
16 years 25 days 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...