Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model

DOI10.1007/11751649_99MaRDI QIDQ3603105zbMATH OpenOpenAlexFDO

Authors Sachoun Park, Gihwon Kwon

Publication date 12 February 2009

Published in Computational Science and Its Applications - ICCSA 2006 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11751649_99

zbMATH Keywords

model checkingmodel reductionstate explosion problemdependency analysis

Mathematics Subject Classification ID

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

Recommendations

• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• scientific article; zbMATH DE number 177234
• scientific article; zbMATH DE number 910719
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 2086421

Cited in

(7)

• Reordering control approaches to state explosion in model checking with memory consistency models
• Partially Bounded Context-Aware Verification
• A parametric analysis of the state-explosion problem in model checking
• scientific article; zbMATH DE number 1693431 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• scientific article; zbMATH DE number 2086421 (Why is no real title available?)
• Avoiding exponential explosion in Petri net models of control flows

This page was built for publication: Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model

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