University of Münster
CRIS@UM
DE | EN

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

Publisher: Villanueva, A.
Book title: Logic-Based Program Synthesis and Transformation
Page range: 63-82
Publishing company: Springer
Place of publication: Cham
Title of series: Lecture Notes in Computer Science
Volume of series: 13474
Status: Published
Release year: 2022
Language in which the publication is written: English
Conference: LOPSTR 2022, Tiflis, Georgia
ISBN: 978-3-031-16766-9
DOI: 10.1007/978-3-031-16767-6_4
Keywords: Model 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)