scientific article; zbMATH DE number 2086421

MaRDI QIDQ4736876zbMATH OpenFDO

Authors Stéphane Demri, François Laroussinie, Philippe Schnoebelen

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2285/22850620.htm

Mathematics Subject Classification ID

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

Recommendations

• A parametric analysis of the state-explosion problem in model checking
• Model Checking – My 27-Year Quest to Overcome the State Explosion Problem
• scientific article; zbMATH DE number 2080053
• Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
• A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION

Cited in

(7)

• scientific article; zbMATH DE number 2080053 (Why is no real title available?)
• Fine-grained complexity of safety verification
• Reordering control approaches to state explosion in model checking with memory consistency models
• A parametric analysis of the state-explosion problem in model checking
• Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model
• scientific article; zbMATH DE number 177234 (Why is no real title available?)
• On the Complexity of Bounded Context Switching.

This page was built for publication:

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