Wolfram Pfeifer, M.Sc. |
|||
Wissenschaftlicher Mitarbeiter / Doktorand Büro: Raum 228
|
Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland |
Projekte
Lehre
Veranstaltung | Typ | Semester | Thema/Themen |
---|---|---|---|
Anwendung Formaler Methoden | Seminar | Sommersemester 2021 |
|
Publikationen
Titel | Autor(en) | Quelle |
---|---|---|
The Karlsruhe Java Verification Suite | Jonas Klamroth Florian Lanzinger Wolfram Pfeifer Mattias Ulbrich | The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday |
Titel | Autor(en) | Quelle |
---|---|---|
Reconstructing Z3 proofs in KeY: There and back again | Wolfram Pfeifer Jonas Schiffl Mattias Ulbrich | Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021), co-located with ECOOP/ISSTA 2021, Online, 13 July 2021 |
Reconstructing Z3 Proofs With KeY | Wolfram Pfeifer | Karlsruhe Institute of Technology (Januar 2021) |
Titel | Autor(en) | Quelle |
---|---|---|
Specifying and Verifying Real-World Java Code with KeY - Case Study java.math.BigInteger | Wolfram Pfeifer | Karlsruhe Institute of Technology (Mai 2017) |