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

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Sascha Witt, and Julian Wiesler
In:International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2024
Publisher:Springer
Series:Lecture Notes in Computer Science
Year:2024
DOI:XXX
Keywords: program verification algorithm verification
Links:extended version

Note

To appear.

BibTeX

@inproceedings{BeckertSandersUlbrich2024,
    author       = {Bernhard Beckert and Peter Sanders and Mattias Ulbrich and Sascha Witt and Julian Wiesler},
    year         = {2024},
    title        = {Formally Verifying an Efficient Sorter},
    doi          = {XXX},
    keywords     = {program verification, algorithm verification},
    booktitle    = {International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2024},
    publisher    = {Springer},
    series       = {Lecture Notes in Computer Science},
    note         = {To appear.}
}