Model checking meets auto-tuning of high-performance programs

DOI10.1007/978-3-031-16767-6_4zbMath1522.68317MaRDI QIDQ6103016

Sergei Gorlatch, Natalia Garanina, Sergey Staroletov

Publication date: 2 June 2023

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

zbMATH Keywords

model checkingcounterexampleshigh-performance computingtemporal logicsSPINauto-tuningPromela

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• New Challenges in Model Checking
• Handbook of Model Checking
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model checking meets auto-tuning of high-performance programs