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

Wolfram Pfeifer

Wolfram Pfeifer Wolfram Pfeifer, M.Sc. — Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany

wolfram.pfeifer834847273Xfd4∂kit.edu

Projects

Publications

2021
Title Author(s) Source
Reconstructing Z3 Proofs With KeYWolfram PfeiferKarlsruhe Institute of Technology (January 2021)
2017
Title Author(s) Source
Specifying and Verifying Real-World Java Code with KeY - Case Study java.math.BigIntegerWolfram PfeiferKarlsruhe Institute of Technology (May 2017)