Echenim, Mnacho

1. Ilinva: Using Abduction to Generate Loop Invariants
   2019/06/26 by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. A Generic Framework for Implicate Generation Modulo Theories
   2018/07/12 by Echenim, Mnacho, Peltier, Nicolas, Sellami, Yanis · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)