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

DOI10.1007/11751649_99zbMATH Open1175.68260OpenAlexW1558903826MaRDI QIDQ3603105FDOQ3603105

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

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

zbMATH Keywords

model checkingmodel reductionstate explosion problemdependency analysis

Mathematics Subject Classification ID

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

Cited In (7)

• Reordering control approaches to state explosion in model checking with memory consistency models
• Automated Technology for Verification and Analysis
• A parametric analysis of the state-explosion problem in model checking
• Avoiding exponential explosion in Petri net models of control flows
• Title not available (Why is that?)
• Partially Bounded Context-Aware Verification
• Title not available (Why is that?)

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)