Lionel Blatter | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Nikolai Kosmatov
11 publications
Pascale Le Gall
10 publications
Virgile Prevosto
8 publications
Guillaume Petiot
1 publication

research

∙ 02/21/2022

Certified Verification of Relational Properties

The use of function contracts to specify the behavior of functions often...

0 Lionel Blatter, et al. ∙

research

∙ 01/21/2018

Static and Dynamic Verification of Relational Properties on Self-Composed C Code

Function contracts are a well-established way of formally specifying the...

0 Lionel Blatter, et al. ∙

research

∙ 01/21/2018

Self-composition to Prove Relational Properties in Annotated C Program

Deductive verification provides a powerful tool to show functional prope...

0 Lionel Blatter, et al. ∙