Predictable Verification using Intrinsic Definitions.

Adithya Murali Cody Rivera P. Madhusudan

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

model checking
verification method
computer vision
geometric structure
face verification
formal verification
databases
signature verification
concurrent systems
functional verification
data sets
machine learning
database systems
video sequences
search algorithm