Model Checking – My 27-Year Quest to Overcome the State Explosion Problem

DOI10.1007/978-3-540-89439-1_13MaRDI QIDQ5505552zbMATH OpenOpenAlexFDO

Authors Edmund Clarke

Publication date 27 January 2009

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89439-1_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2080188
• scientific article; zbMATH DE number 910719
• Introduction to model checking
• \(2^{5}\) years of model checking
• scientific article; zbMATH DE number 177234

Cited in

(19)

• Using approximation for the verification of token-scaling models
• Symbolic model checking: \(10^{20}\) states and beyond
• Model-Checking Large Finite-State Systems and Beyond
• Reordering control approaches to state explosion in model checking with memory consistency models
• Quo vadis explicit-state model checking
• A parametric analysis of the state-explosion problem in model checking
• scientific article; zbMATH DE number 2080188 (Why is no real title available?)
• \(2^{5}\) years of model checking
• Pragmatics of model checking: An STTT special section
• scientific article; zbMATH DE number 1759602 (Why is no real title available?)
• Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
• Automated Technology for Verification and Analysis
• Specification guidelines to avoid the state space explosion problem
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• The Beginning of Model Checking: A Personal Perspective
• scientific article; zbMATH DE number 2086421 (Why is no real title available?)
• Using heuristic search for finding deadlocks in concurrent systems
• Projecting transition systems: overcoming state explosion in concurrent system verification
• scientific article; zbMATH DE number 1852151 (Why is no real title available?)

This page was built for publication: Model Checking – My 27-Year Quest to Overcome the State Explosion Problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505552)