Cameleer: A Deductive Verification Tool for OCaml.

Mário Pereira António Ravara

Published in: CAV (2) (2021)

Keyphrases

software tools
user friendly
object oriented
face verification
neural network
computer vision
multiscale
data structure
medical images
model checking
explanation based learning
signature verification
abductive inference