Exploiting design structure in model checking. (Abstract)

MaRDI QIDQ2703739zbMATH OpenFDO

Authors Thomas A. Henzinger

Publication date 8 May 2001

zbMATH Keywords

reactive modulesMocha project

Mathematics Subject Classification ID

Recommendations

• Automated Technology for Verification and Analysis
• Model checking: a hardware design perspective
• Calculational design of a regular model checker by abstract interpretation
• Calculational design of a regular model checker by abstract interpretation
• An efficient approach for abstraction-refinement in model checking
• Model Checking: From Tools to Theory

Cited in

(4)

• More scalable LTL model checking via discovering design-space dependencies \((D^3)\)
• Cross-Checking - Enhanced Over-Approximation of the Reachable Global State Space of Component-Based Systems
• scientific article; zbMATH DE number 1759602 (Why is no real title available?)
• A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION

Describes a project that uses

Uses Software

• MOCHA

This page was built for publication: Exploiting design structure in model checking. (Abstract)

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