Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art.

Dirk Beyer Matthias Dangl

Published in: CoRR (2019)

Keyphrases

empirical evaluation
real world
preprocessing
neural network
artificial intelligence
cooperative
natural language
implementation details