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

Dirk Beyer Matthias Dangl

Published in: TACAS (1) (2020)

Keyphrases

trade off
efficient implementation
hardware implementation
implementation details
real time
data sets
data mining
computer vision
decision trees
case study
cooperative
computational complexity
information technology