@misc{indiciae293076521a64,
  title = {ESBMC-Arduino: Closing the Deployment Gap for Formal Verification of Open-Hardware PLCs},
  author = {Pierre Dantas and Lucas Cordeiro and Waldir Junior},
  year = {2026},
  url = {https://arxiv.org/abs/2607.08550},
  note = {Source identifier: 2607.08550}
}