Formula Normalizations in Verification.

Simon Guilloud Mario Bucev Dragana Milovancevic Viktor Kuncak

Published in: CAV (3) (2023)

Keyphrases

face verification
model checking
case study
signature verification
database
real time
databases
information systems
database systems
bayesian networks
scoring functions
high security
verification method