312 search results - page 2 / 63 » The eureka tool for software model checking |
100
Voted
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
82
Voted
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
SNPD
2008
14 years 11 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
87
Voted
ECLIPSE
2004
ACM
15 years 2 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...