@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}
}
Reconstructing Z3 Proofs With KeY
| Autor(en): | Wolfram Pfeifer |
|---|---|
| Hochschule: | Karlsruhe Institute of Technology |
| Verleger: | Karlsruhe Institute of Technology |
| Jahr: | 2021 |
| DOI: | 10.5445/IR/1000131835 |
| Stichworte: | KeY formal verification SMT solver Z3 proof reconstruction |