@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
| Autor(en): | Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Sascha Witt und Julian Wiesler |
|---|---|
| In: | International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2024 |
| Verleger: | Springer |
| Reihe: | Lecture Notes in Computer Science |
| Jahr: | 2024 |
| DOI: | 10.1007/978-3-031-57246-3_15 |
| Stichworte: | program verification algorithm verification |
| Links: | extended version |