TY - GEN
T1 - New challenges in model checking
AU - Holzmann, Gerard J.
AU - Joshi, Rajeev
AU - Groce, Alex
PY - 2008
Y1 - 2008
N2 - In the last 25 years, the notion of performing software verification with logic model checking techniques has evolved from intellectual curiosity to accepted technology with significant potential for broad practical application. In this paper we look back at the main steps in this evolution and illustrate how the challenges have changed over the years, as we sharpened our theories and tools. Next we discuss a typical challenge in software verification that we face today - and that perhaps we can look back on in another 25 years as having inspired the next logical step towards a broader integration of model checking into the software development process.
AB - In the last 25 years, the notion of performing software verification with logic model checking techniques has evolved from intellectual curiosity to accepted technology with significant potential for broad practical application. In this paper we look back at the main steps in this evolution and illustrate how the challenges have changed over the years, as we sharpened our theories and tools. Next we discuss a typical challenge in software verification that we face today - and that perhaps we can look back on in another 25 years as having inspired the next logical step towards a broader integration of model checking into the software development process.
KW - Flash file system challenge
KW - Grand challenge project
KW - Logic model checking
KW - Software reliability
KW - Software structure
KW - Software verification
UR - http://www.scopus.com/inward/record.url?scp=48949085017&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=48949085017&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-69850-0_4
DO - 10.1007/978-3-540-69850-0_4
M3 - Conference contribution
AN - SCOPUS:48949085017
SN - 3540698493
SN - 9783540698494
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 65
EP - 76
BT - 25 Years of Model Checking - History, Achievements, Perspectives
T2 - 25 Years of Model Checking, 25MC - 18th International Conference on Computer Aided Verification, CAV 2006
Y2 - 17 August 2006 through 20 August 2006
ER -