@misc{indiciae163182f8fd85,
  title = {Data-driven Verification of Procedural Programs with Integer Arrays},
  author = {Ahmed Bouajjani and Wael-Amine Boutglay and Peter Habermehl},
  year = {2025},
  url = {https://arxiv.org/abs/2505.15958},
  note = {Source identifier: 2505.15958}
}