Klaus-Dieter Schubert. Formal Verification versus Simulation in Functional Verification -- An Industry Perspective. In Jürgen Ruf, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. pages 123-123, Shaker, 2002.
Abstract is missing.