Using the SPIN model checker for auto-tuning high-performance programs

DOI10.1007/S10958-025-07687-3MaRDI QIDQ7317034zbMATH OpenFDO

Authors S. Gorlatch, Natalia Garanina, Sergey Staroletov

Publication date 21 August 2026

Published in Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10958-025-07687-3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Handbook of model checking
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1982194 (Why is no real title available?)
• Model checking meets auto-tuning of high-performance programs

This page was built for publication: Using the SPIN model checker for auto-tuning high-performance programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7317034)