New challenges in model checking

Gerard J. Holzmann, Rajeev Joshi, Alex Groce

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publication25 Years of Model Checking - History, Achievements, Perspectives
Pages65-76
Number of pages12
DOIs
StatePublished - 2008
Externally publishedYes
Event25 Years of Model Checking, 25MC - 18th International Conference on Computer Aided Verification, CAV 2006 - Seattle, WA, United States
Duration: Aug 17 2006Aug 20 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5000 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference25 Years of Model Checking, 25MC - 18th International Conference on Computer Aided Verification, CAV 2006
Country/TerritoryUnited States
CitySeattle, WA
Period8/17/068/20/06

Keywords

  • Flash file system challenge
  • Grand challenge project
  • Logic model checking
  • Software reliability
  • Software structure
  • Software verification

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'New challenges in model checking'. Together they form a unique fingerprint.

Cite this