950 search results - page 27 / 190 » Software model checking with SPIN |
97
Voted
AMAST
1995
Springer
15 years 6 months ago
1995
Springer
106
Voted
CBSE
2008
Springer
15 years 4 months ago
2008
Springer
115
Voted
RE
2002
Springer
15 years 2 months ago
2002
Springer
96
Voted
FOSSACS
2010
Springer
15 years 1 months ago
2010
Springer
117
Voted
TAICPART
2006
IEEE
15 years 8 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...