Correctness witnesses: exchanging verification results between verifiers.

Dirk Beyer Matthias Dangl Daniel Dietsch Matthias Heizmann

Published in: SIGSOFT FSE (2016)

Keyphrases

model checking
verification method
formal verification
high resolution
face verification
formal methods
real time
data sets
database systems
similarity measure
evolutionary algorithm
poor quality
high security