Webrelaunch 2020
Team - Lionel Blatter Application-oriented Formal Verification
Team
Lionel Blatter

    Dr. Lionel Blatter

    Researcher
    Room 227, Building 50.34
    Phone:
    Fax:
    Email:
    +49 721 608 43856
    +49 721 608 44021
    lionel blatterFlc1∂kit edu
    		 KIT / Institute of Theoretical Informatics
    Am Fasanengarten 5
    Building 50.34
    76131 Karlsruhe
    Germany

    Publications

    2019
    Title Author(s) Source
    Relational properties for specification and verification of C programs in Frama-CLionel BlatterUniversité Paris-Saclay (September 2019)
    2018
    Title Author(s) Source
    Static and Dynamic Verification of Relational Properties on Self-composed C CodeLionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, and Guillaume Petiot12th 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 ProgramLionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile PrevostoCoRR abs/1801.06876
    2017
    Title Author(s) Source
    RPP: Automatic Proof of Relational Properties by Self-compositionLionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto23rd 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
    2016
    Title Author(s) Source
    Deductive Verification with Relational PropertiesLionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile PrevostoCoRR abs/1606.00678