Yanis Sellami | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nicolas Peltier
19 publications
Mnacho Echenim
18 publications

research

∙ 06/26/2019

Ilinva: Using Abduction to Generate Loop Invariants

We describe a system to prove properties of programs. The key feature of...

0 Mnacho Echenim, et al. ∙

research

∙ 07/12/2018

A Generic Framework for Implicate Generation Modulo Theories

The clausal logical consequences of a formula are called its implicates....

0 Mnacho Echenim, et al. ∙