@misc{indiciae6fb10de202e4,
  title = {Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study},
  author = {Rafael Sá Menezes and Edoardo Manino and Fedor Shmarov and Mohannad Aldughaim and Rosiane de Freitas and Lucas C. Cordeiro},
  year = {2024},
  url = {https://arxiv.org/abs/2406.15281},
  note = {Source identifier: 2406.15281}
}