Cameleer: a Deductive Verification Tool for OCaml.

Mário Pereira António Ravara

Published in: CoRR (2021)

Keyphrases

object oriented
analysis tool
neural network
search algorithm
model checking
website
decision trees
database systems
face recognition
query language
knowledge acquisition
petri net
face verification
formal verification
verification method