Claude Marché | DeepAI

DeepAI

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

Featured Co-authors

Yannick Moy
4 publications
Sylvain Dailler
1 publication
Benedikt Becker
1 publication
Cláudio Belo Lourenço
1 publication

research

∙ 08/06/2021

Explaining Counterexamples with Giant-Step Assertion Checking

Identifying the cause of a proof failure during deductive verification o...

0 Benedikt Becker, et al. ∙

research

∙ 11/27/2018

Lightweight Interactive Proving inside an Automatic Program Verifier

Among formal methods, the deductive verification approach allows establi...

0 Sylvain Dailler, et al. ∙