Dr. Lionel BlatterResearcher |
||
KIT / Institute of Theoretical Informatics Am Fasanengarten 5 Building 50.34 76131 Karlsruhe Germany |
Publications
Title | Author(s) | Source |
---|---|---|
Relational properties for specification and verification of C programs in Frama-C | Lionel Blatter | Université Paris-Saclay (September 2019) |
Title | Author(s) | Source |
---|---|---|
Static and Dynamic Verification of Relational Properties on Self-composed C Code | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, and Guillaume Petiot | 12th International Conference on Tests and Proofs (TAP 2018) held as part of STAF 2018: Software Technologies - Applications and Foundations |
Self-composition to Prove Relational Properties in Annotated C Program | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto | CoRR abs/1801.06876 |
Title | Author(s) | Source |
---|---|---|
RPP: Automatic Proof of Relational Properties by Self-composition | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto | 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017) held as part of ETAPS 2017: European Joint Conferences on Theory and Practice of Software, Part I |
Title | Author(s) | Source |
---|---|---|
Deductive Verification with Relational Properties | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto | CoRR abs/1606.00678 |