scientific article; zbMATH DE number 2086421

zbMATH Open1054.68557MaRDI QIDQ4736876FDOQ4736876

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)