scientific article; zbMATH DE number 1487475

MaRDI QIDQ4493879zbMATH OpenFDO

Authors Frank Reffel, Stefan Edelkamp

Publication date 14 February 2001

zbMATH Keywords

binary decision diagrams

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1507203
• scientific article; zbMATH DE number 1324664
• Fast Directed Model Checking Via Russian Doll Abstraction
• Verification, Model Checking, and Abstract Interpretation

Cited in

(9)

• Effective error diagnostic tools for logical prototype systems
• State-set branching: leveraging BDDs for heuristic search
• scientific article; zbMATH DE number 1670777 (Why is no real title available?)
• Survey on Directed Model Checking
• Guided model checking with a Bayesian meta-heuristic
• Logical Aspects of Computational Linguistics
• A new heuristic for bad cycle detection using BDDs
• Symbolic search for cost-optimal planning with expressive model extensions
• Weighted A^* search - unifying view and application

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