An Iris Instance for Verifying CompCert C Programs.

William Mansky Ke Du

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

Keyphrases

databases
model checking
iris recognition
iris images
automatic programming
iris biometrics
data sets
database
computer vision
multiscale
prolog programs