1023 search results - page 4 / 205 » Model Checking: Software and Beyond |
SIGSPATIAL
2010
14 years 4 months ago
2010
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...
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...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
101
click to vote
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...