Formally Verifying an Efficient Sorter

Technischer Bericht

Autor(en):Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Sascha Witt und Julian Wiesler
Institution:Karlsruher Institut für Technologie (KIT)
Jahr:2024
DOI:10.5445/IR/1000167846
Stichworte: program verification algorithm verification
Links:

Anmerkung

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}
}