Formal verification using edge-valued binary decision diagrams

DOI10.1109/12.485378MaRDI QIDQ4420904zbMATH OpenOpenAlexFDO

Authors Yung-Te Lai, Massoud Pedram, Sarma B. K. Vrudhula

Publication date 10 November 2003

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/12.485378

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 910727
• Decision diagrams for verification
• Lattice-valued binary decision diagrams
• Formal Methods for Hardware Verification
• Binary decision diagrams

Cited in

(4)

• Lattice-valued binary decision diagrams
• Boosting optimal symbolic planning: operator-potential heuristics
• Decision diagrams for verification
• Verifying integrity of decision diagrams

This page was built for publication: Formal verification using edge-valued binary decision diagrams

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