Model Checking Meets Auto-Tuning of High-Performance Programs
Garanina, N.; Staroletov, S.; Gorlatch, S.
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Villanueva, A.
Buchtitel: Logic-Based Program Synthesis and Transformation
Seitenbereich: 63-82
Verlag: Springer
Erscheinungsort: Cham
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 13474
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: LOPSTR 2022, Tiflis, Georgien
ISBN: 978-3-031-16766-9
Stichwörter: Model checking; Temporal logics; Counterexamples; High-performance computing; Auto-Tuning; SPIN; Promela
Autor*innen der Universität Münster
| Gorlatch, Sergei | Professur für Praktische Informatik (Prof. Gorlatch) |