Claude Marché | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙