Tobias Seufert, Christoph Scholl. Sequential Verification Using Reverse PDR. In Daniel Große, Rolf Drechsler, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. pages 79-90, Shaker Verlag, 2017.
No references recorded for this publication.
No citations of this publication recorded.