scientific article; zbMATH DE number 1487478

MaRDI QIDQ4493882zbMATH OpenFDO

Authors David Déharbe, Anamaria Martins Moreira

Publication date 5 February 2001

zbMATH Keywords

symbolic model checking

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symbolic model checking: \(10^{20}\) states and beyond
• scientific article; zbMATH DE number 1507203
• scientific article; zbMATH DE number 2090074

Cited in

(20)

• Symbolic model checking: \(10^{20}\) states and beyond
• Computable fixpoints in well-structured symbolic model checking
• Counterexample-preserving reduction for symbolic model checking
• Checking extended CTL properties using guarded quotient structures
• Learning to verify branching time properties
• scientific article; zbMATH DE number 1705167 (Why is no real title available?)
• Counterexample-preserving reduction for symbolic model checking
• Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
• Symbolic Model Checking Commitment Protocols Using Reduction
• scientific article; zbMATH DE number 1979545 (Why is no real title available?)
• scientific article; zbMATH DE number 1507203 (Why is no real title available?)
• scientific article; zbMATH DE number 2090074 (Why is no real title available?)
• scientific article; zbMATH DE number 2102715 (Why is no real title available?)
• Application of Wu's method to symbolic model checking
• Model Checking Software
• Computer Aided Verification
• Efficient symbolic model checking of software using partial disjunctive partitioning
• Correct Hardware Design and Verification Methods
• Tools and Algorithms for the Construction and Analysis of Systems
• Taking Some Burden Off an Explicit CTL Model Checker

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 Q4493882)