Formal verification using edge-valued binary decision diagrams

DOI10.1109/12.485378zbMATH Open1068.68658OpenAlexW2118235397MaRDI QIDQ4420904FDOQ4420904

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (4)

• Boosting optimal symbolic planning: operator-potential heuristics
• Decision diagrams for verification
• Verifying integrity of decision diagrams
• Lattice-valued binary 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)