Publications
PhD Thesis. (06/01/20)
M. Echenim, N. Peltier, and Y. Sellami. Ilinva: Using Abduction to Generate Loop Invariants. In Frontiers of Combining Systems, FroCoS 2019, Proceedings, 2019. (ArXiV)
M. Echenim, N. Peltier, and Y. Sellami. A generic framework for implicate generation modulo theories. In Automated Reasoning, International Joint Conference, IJCAR 2018, Proceedings, 2018. (ArXiV)
