Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publications
Projects
Talks
Awards
Doctorates
Habilitations
Persons
Organisations
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)