Exchanging Verification Witnesses between Verifiers.

Dirk Beyer Matthias Dangl Daniel Dietsch Matthias Heizmann

Published in: Software Engineering (2017)

Keyphrases

model checking
formal verification
formal analysis
database systems
digital images
face verification
signature verification
person identification
verification method
learning algorithm
website
feature extraction
search algorithm
poor quality
concurrent systems