Formally Verifying an Efficient Sorter
Beckert, Bernhard
1; Sanders, Peter
2; Ulbrich, Mattias
1; Wiesler, Julian 1; Witt, Sascha 2
1 Karlsruher Institut für Technologie (KIT)
2 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Sanders, Peter
2; Ulbrich, Mattias
1; Wiesler, Julian 1; Witt, Sascha 21 Karlsruher Institut für Technologie (KIT)
2 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 | Proceedingsbeitrag |
| Publikationsjahr | 2024 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-031-57246-3 ISSN: 0302-9743 KITopen-ID: 1000175582 |
| Erschienen in | Tools and Algorithms for the Construction and Analysis of Systems – 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. Ed.: B. Finkbeiner |
| Veranstaltung | European Joint Conferences on Theory and Practice of Software (ETAPS 2024), Stadt Luxemburg, Luxemburg, 06.04.2024 – 11.04.2024 |
| Verlag | Springer Nature Switzerland |
| Seiten | 268–287 |
| Serie | Lecture Notes in Computer Science ; 14570 |
| Vorab online veröffentlicht am | 04.04.2024 |
| Nachgewiesen in | Dimensions Scopus |
| Relationen in KITopen |