Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact
Beckert, Bernhard
; Sanders, Peter
1; Ulbrich, Mattias
; Wiesler, Julian; Witt, Sascha 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
; Sanders, Peter
1; Ulbrich, Mattias
; Wiesler, Julian; Witt, Sascha 11 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Sonstiges |
| Publikationsdatum | 30.12.2023 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000174013 |
| Verlag | Zenodo |
| Bemerkung zur Veröffentlichung | Version v2 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , Luxembourg City, Luxembourg, 8-11 April 2024. |
| Externe Relationen | Siehe auch |