Deductive verification with ghost monitors.

Martin Clochard Claude Marché Andrei Paskevich

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

Keyphrases

model checking
formal verification
signature verification
abductive inference
machine learning
evolutionary algorithm
object oriented
explanation based learning
dynamic range
genetic algorithm
computer vision
three dimensional
multi agent
programming language
formal analysis
deductive reasoning