Predictable Verification using Intrinsic Definitions.

Adithya Murali Cody Rivera P. Madhusudan

Published in: CoRR (2024)

Keyphrases

model checking
face verification
databases
formal verification
concurrent systems
learning algorithm
multimedia
case study
bayesian networks
formal methods
signature verification
verification method
search algorithm