Jacob A. Abraham, Daniel G. Saab. Tutorial T4A: Formal Verification Techniques and Tools for Complex Designs. In 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India. pages 6, IEEE Computer Society, 2007. [doi]
Abstract is missing.