Christian Miller, Stefan Kupferschmid, Bernd Becker. Exploiting Craig Interpolants in Bounded Model Checking for Incomplete Designs. In Manfred Dietrich, editor, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. pages 77-86, Fraunhofer Verlag, 2010.
Abstract is missing.