Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
From MaRDI portal
Publication:5505552
DOI10.1007/978-3-540-89439-1_13zbMATH Open1182.68116OpenAlexW1552620091MaRDI QIDQ5505552FDOQ5505552
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
Recommendations
Cited In (19)
- Quo vadis explicit-state model checking
- Pragmatics of model checking: An STTT special section
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Specification guidelines to avoid the state space explosion problem
- Title not available (Why is that?)
- Symbolic model checking: \(10^{20}\) states and beyond
- Reordering control approaches to state explosion in model checking with memory consistency models
- Projecting transition systems: overcoming state explosion in concurrent system verification
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated Technology for Verification and Analysis
- A parametric analysis of the state-explosion problem in model checking
- Using approximation for the verification of token-scaling models
- Model-Checking Large Finite-State Systems and Beyond
- Using heuristic search for finding deadlocks in concurrent systems
- Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
- The Beginning of Model Checking: A Personal Perspective
- Title not available (Why is that?)
- \(2^{5}\) years of model checking
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)
