TY  - RPRT
TI  - Auto-Tuning High-Performance Programs Using Model Checking in Promela
AU  - Natalia Garanina
AU  - Sergey Staroletov
AU  - Sergei Gorlatch
PY  - 2023
UR  - https://arxiv.org/abs/2305.09130
ID  - 2305.09130
ER  -