MetaVal: Witness Validation via Verification.

Dirk Beyer Martin Spiessl

Published in: CAV (2) (2020)

Keyphrases

model checking
functional verification
three dimensional
formal verification
verification method
data sets
information systems
relational databases
multiresolution
face verification
signature verification
asynchronous circuits
false acceptance rate