@misc{indiciaef7d7c03fd8f4,
  title = {Can Code Specify a System Precisely Enough to Formally Verify It?},
  author = {Jean-Jacques Dubray},
  year = {2026},
  url = {https://arxiv.org/abs/2607.05076},
  note = {Source identifier: 2607.05076}
}