@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.} }
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: | XXX |
Stichworte: | program verification algorithm verification |
Links: | extended version |
Anmerkung
To appear.