@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 = {10.1007/978-3-031-57246-3_15}, 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} }
Formally Verifying an Efficient Sorter
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: | 10.1007/978-3-031-57246-3_15 |
Keywords: | program verification algorithm verification |
Links: | extended version |