TY  - RPRT
TI  - Sockeye: Bug-finding and proofs for platform configurations and hardware based on reference manuals
AU  - Ben Fiedler
AU  - Sedan Abdelgawad
AU  - Teymour Aldridge
AU  - Viktor Fukala
AU  - Jan Häussermann
AU  - Gamal Hassan
AU  - Lars Leuthold
AU  - Konstantin Lucny
AU  - Max Wierse
AU  - Samuel Gruetter
AU  - Timothy Roscoe
PY  - 2026
UR  - https://arxiv.org/abs/2510.27485
ID  - 2510.27485
ER  -