Formal verification using edge-valued binary decision diagrams

DOI10.1109/12.485378zbMath1068.68658OpenAlexW2118235397MaRDI QIDQ4420904

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

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

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