Reconstructing Z3 proofs in KeY: There and back again

Reviewed Paper In Proceedings

Author(s):Wolfram Pfeifer, Jonas Schiffl, and Mattias Ulbrich
In: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
Publisher:Association for Computing Machinery (ACM)
Series:ACM Conferences
Year:2021
Pages:24-31
DOI:10.1145/3464971.3468421

BibTeX

@inproceedings{PfeiferSchifflUlbrich2021,
    author       = {Wolfram Pfeifer and Jonas Schiffl and Mattias Ulbrich},
    year         = {2021},
    title        = {Reconstructing {Z3} proofs in {KeY}: There and back again},
    pages        = {24--31},
    eventtitle   = {23rd ACM International Workshop on Formal Techniques for Java-Like Programs (FTfJP 2021)},
    eventtitleaddon = {2021},
    eventdate    = {2021-06-13/},
    venue        = {Online},
    booktitle    = {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},
    doi          = {10.1145/3464971.3468421},
    publisher    = {Association for Computing Machinery ({ACM})},
    isbn         = {978-1-4503-8543-5},
    series       = {ACM Conferences},
    language     = {english}
}