Login / Signup
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