vix.ing · top · new · best · stats · spec

Sellami, Yanis

  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)