@misc{indiciaef3eeb9183980,
  title = {Engineering a Formally Verified Automated Bug Finder},
  author = {Arthur Correnson and Dominic Steinhoefel},
  year = {2023},
  url = {https://arxiv.org/abs/2305.05570},
  note = {Source identifier: 2305.05570}
}