@misc{indiciae730d46ec3667,
  title = {Sockeye: Bug-finding and proofs for platform configurations and hardware based on reference manuals},
  author = {Ben Fiedler and Sedan Abdelgawad and Teymour Aldridge and Viktor Fukala and Jan Häussermann and Gamal Hassan and Lars Leuthold and Konstantin Lucny and Max Wierse and Samuel Gruetter and Timothy Roscoe},
  year = {2026},
  url = {https://arxiv.org/abs/2510.27485},
  note = {Source identifier: 2510.27485}
}