@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}
}
Formally Verifying an Efficient Sorter
| 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: | TACAS paper |
Anmerkung
Extended version to the TACAS paper.