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

DOI10.1007/11751649_99zbMath1175.68260OpenAlexW1558903826MaRDI QIDQ3603105

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

dependency analysismodel reductionmodel checkingstate explosion problem

Mathematics Subject Classification ID

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

Related Items (1)

Partially Bounded Context-Aware Verification

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