@article{speculascalingformalspecificationsforaut,
  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},
  eprint = {2607.25333},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.25333},
}