Combining Equivalence Verification and Completion Functions

Mark Aagaard, Vlad C. Ciubotariu, Jason T. Higgins, Farzad Khalvati. Combining Equivalence Verification and Completion Functions. In Alan J. Hu, Andrew K. Martin, editors, Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings. Volume 3312 of Lecture Notes in Computer Science, pages 98-112, Springer, 2004. [doi]

Abstract

Abstract is missing.