Login / Signup
Verification column.
Neha Rungta
Published in:
ACM SIGLOG News (2016)
Keyphrases
</>
model checking
verification method
formal verification
face verification
databases
concurrent systems
fingerprint verification
signature verification
computer vision
data sets
temporal logic
query processing
formal methods
search algorithm
database systems
cryptographic protocols
machine learning