@misc{indiciae01d61e4b49ff,
  title = {Specula: Scaling formal specifications for autonomous model checking of system code},
  author = {Qian Cheng and Saad Mohammad Rafid Pial and Ruize Tang and Yiming Su and Emilie Ma and Finn Hackett and Ivan Beschastnikh and Yu Huang and Tianyin Xu},
  year = {2026},
  url = {https://arxiv.org/abs/2607.25333},
  note = {Source identifier: 2607.25333}
}