KIT - Application-oriented Formal Verification - Team - Lionel Blatter

Institut für Theoretische Informatik (ITI) – Anwendungsorientierte Formale Verifikation

Institute of Theoretical Informatics (ITI) – Application-oriented Formal Verification

	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-C	Lionel Blatter	Université Paris-Saclay (September 2019)

2018
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

2017
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

2016
Title	Author(s)	Source
Deductive Verification with Relational Properties	Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, and Virgile Prevosto	CoRR abs/1606.00678