Ilinva: Using Abduction to Generate Loop Invariants.

Mnacho Echenim Nicolas Peltier Yanis Sellami

Published in: FroCos (2019)

Keyphrases

logic programming
real time
databases
social networks
database systems
bayesian networks
domain knowledge
background knowledge
automatically generate
imperative programs