Hierarchical formal verification using a hybrid tool

Multiway Decision Graphs for Automated Hardware Verification

Francisco Corella, Zijian Zhou, X. Song et al. · Formal Methods in System Design · 1997 · 107 citations

Engineering, Computer Engineering, Computer Science +14

Fairisle

Ian Leslie, Derek McAuley · 1991 · 72 citations

Computing, Computer Engineering, Computer Science +5

Linking BDD-based symbolic evaluation to interactive theorem-proving

Jeffrey J. Joyce, Carl-Johan H. Seger · 1993 · 61 citations · Full text

Computing, Computer Science, Decision Support Systems +9

Structuring and automating hardware proofs in a higher-order theorem-proving environment

Ramayya Kumar, Klaus Schneider, Thomas Kröpf · Formal Methods in System Design · 1993 · 37 citations

Computing, Computer Engineering, Computer Science +14

On the non-termination of MDG-based abstract state enumeration

Otmane Aı̈t Mohamed, Xiaoyu Song, E. Cerny · Theoretical Computer Science · 2003 · 31 citations

Computing, Computer Engineering, Computer Science +9