Overcoming Restraint: Composing Verification of Foreign Functions with Cogent.

Louis Cheung Liam O'Connor Christine Rizkallah

Published in: CoRR (2021)

Keyphrases

databases
data structure
basis functions
model checking
face verification
machine learning
genetic algorithm
image processing
decision trees
evolutionary algorithm
special case
digital images
formal methods
formal analysis
formal verification