@misc{indiciae5df68f357e70,
  title = {A Benchmark Suite and Ground-Truth Methodology for Formal Verification of IEC 61131-3 Ladder Diagram Programs},
  author = {Pierre Dantas and Lucas Cordeiro and Waldir Junior},
  year = {2026},
  url = {https://arxiv.org/abs/2609.18994},
  note = {Source identifier: 2609.18994}
}