Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
From MaRDI portal
Publication:5505552
Recommendations
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)