Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Reconstructing Z3 Proofs With KeY

Master's Thesis
Author(s):Wolfram Pfeifer
School:Karlsruhe Institute of Technology
Publisher:Karlsruhe Institute of Technology
Year:2021
DOI:10.5445/IR/1000131835
Keywords: KeY formal verification SMT solver Z3 proof reconstruction

BibTeX

@mastersthesis{pfeiferMsc2021,
    author       = {Wolfram Pfeifer},
    year         = {2021},
    month        = jan,
    title        = {Reconstructing {Z3} Proofs With {KeY}},
    doi          = {10.5445/IR/1000131835},
    publisher    = {{Karlsruhe Institute of Technology}},
    keywords     = {KeY, formal verification, SMT solver, Z3, proof reconstruction},
    pagetotal    = {56},
    school       = {Karlsruhe Institute of Technology},
    language     = {english}
}