Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures.

Francis Alexandre, Khaled Bsaes, Moussa Demba

Browse the full LOPSTR paper archive.