Model Checking Meets Auto-Tuning of High-Performance Programs

Garanina, N.; Staroletov, S.; Gorlatch, S.

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

PublisherVillanueva, A.
Book titleLogic-Based Program Synthesis and Transformation
Page range63-82
Publishing companySpringer
Place of publicationCham
Title of seriesLecture Notes in Computer Science
Volume of series13474
StatusPublished
Release year2022
Language in which the publication is writtenEnglish
ConferenceLOPSTR 2022, Tiflis, Georgia
ISBN978-3-031-16766-9
DOI10.1007/978-3-031-16767-6_4
KeywordsModel checking; Temporal logics; Counterexamples; High-performance computing; Auto-Tuning; SPIN; Promela

Authors from the University of Münster

Gorlatch, Sergei
Professur für Praktische Informatik (Prof. Gorlatch)