Ilinva: Using Abduction to Generate Loop Invariants.

Mnacho Echenim Nicolas Peltier Yanis Sellami

Published in: CoRR (2019)

Keyphrases

background knowledge
abductive reasoning
genetic algorithm
decision trees
three dimensional
multiscale
multi agent
evolutionary algorithm
logic programming
automatically generate