@misc{indiciae443e820c00c5,
  title = {ESBMC v7.4: Harnessing the Power of Intervals},
  author = {Rafael Menezes and Mohannad Aldughaim and Bruno Farias and Xianzhiyu Li and Edoardo Manino and Fedor Shmarov and Kunjian Song and Franz Brauße and Mikhail R. Gadelha and Norbert Tihanyi and Konstantin Korovin and Lucas C. Cordeiro},
  year = {2023},
  url = {https://arxiv.org/abs/2312.14746},
  note = {Source identifier: 2312.14746}
}