Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Florian Lanzinger

Florian Lanzinger

Florian Lanzinger, M.Sc. — Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
Office 203
76131 Karlsruhe
Germany

📞 + 49 721 608-45252
✉ lanzinger535160365Xfd4∂kit.edu

Projects

Teaching

Course Type Semester
Anwendung Formaler Methoden Seminar Summer Term 2021

Publications

2021
Title Author(s) Source
Property Types in Java: Combining Type Systems and Deductive VerificationFlorian LanzingerKarlsruher Institut für Technologie (February 2021)
2018
Title Author(s) Source
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program VerificationFlorian LanzingerKarlsruher Institut für Technologie (April 2018)

Supervised Theses

Title Type State
Abhängige Eigenschaftstypen in Java BA / MA open