Ilinva: Using Abduction to Generate Loop Invariants. - Echenim, Mnacho; Peltier, Nicolas; Sellami, Yanis (2019)