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 | Forschungsdaten |
| Publikationsdatum | 30.12.2023 |
| Identifikator | KITopen-ID: 1000174013 |
| Liesmich | Version v2 |