research
∙
02/21/2022
Certified Verification of Relational Properties
The use of function contracts to specify the behavior of functions often...
share
research
∙
12/20/2019
Proceedings Fifth Workshop on Formal Integrated Development Environment
This volume contains the proceedings of F-IDE 2019, the fifth internatio...
research
∙
11/26/2018
MetAcsl: Specification and Verification of High-Level Properties
Modular deductive verification is a powerful technique capable to show t...
research
∙
11/22/2018
Proceedings 4th Workshop on Formal Integrated Development Environment
This volume contains the proceedings of F-IDE 2018, the fourth internati...
research
∙
03/26/2018
Left-eigenvectors are certificates of the Orbit Problem
This paper investigates the connexion between the Kannan-Lipton Orbit Pr...
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...
research
∙
01/21/2018
Self-composition to Prove Relational Properties in Annotated C Program
Deductive verification provides a powerful tool to show functional prope...
research
∙
08/29/2017