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

Formally Verifying an Efficient Sorter

Technical Report
Author(s):Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Sascha Witt, and Julian Wiesler
Institution:Karlsruher Institut für Technologie (KIT)
Year:2024
DOI:10.5445/IR/1000167846
Keywords: program verification algorithm verification
Links:TACAS paper

Note

Extended version to the TACAS paper.

BibTeX

@techreport{BeckertSandersUlbrich2024_1000167846,
    author       = {Bernhard Beckert and Peter Sanders and Mattias Ulbrich and Sascha Witt and Julian Wiesler},
    year         = {2024},
    title        = {Formally Verifying an Efficient Sorter},
    doi          = {10.5445/IR/1000167846},
    institution  = {{Karlsruher Institut für Technologie (KIT)}},
    keywords     = {program verification, algorithm verification},
    pagetotal    = {26},
    language     = {english}
}