Three Approaches to Hardware Verification: HOL, MDG and VIS Compared.

Sofine Tahar, Paul Curzon, Jianping Lu

Browse the full FMCAD paper archive.