Sequential Verification Using Reverse PDR - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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.

The following publications are possibly variants of this publication:

On safety verification using PDR and Reverse PDRTobias Seufert. PhD thesis, University of Freiburg, Germany, 2023. [doi]

On safety verification using PDR and Reverse PDRTobias Seufert. PhD thesis, University of Freiburg, Freiburg im Breisgau, Germany, 2023. [doi]

Combining PDR and reverse PDR for hardware model checkingTobias Seufert, Christoph Scholl. date 2018: 49-54 [doi]

runs on WebDSL