Automated Hypersafety Verification.

Azadeh Farzan Anthony Vandikas

Published in: CAV (1) (2019)

Keyphrases

semi automatic
semi automated
multiresolution
neural network
face verification
fully automated
context sensitive
model checking
data driven
person identification
database
formal methods
information technology
website
web pages
information systems
genetic algorithm
information retrieval
data mining
real time