Software Verification with PDR: An Implementation of the State of the Art.

Dirk Beyer, Matthias Dangl

Browse the full TACAS paper archive.