%0 Journal Article %1 journals/corr/abs-2406-15281 %A Menezes, Rafael Sá %A Manino, Edoardo %A Shmarov, Fedor %A Aldughaim, Mohannad %A de Freitas, Rosiane %A Cordeiro, Lucas C. %D 2024 %J CoRR %K dblp %T Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study. %U http://dblp.uni-trier.de/db/journals/corr/corr2406.html#abs-2406-15281 %V abs/2406.15281

@article{journals/corr/abs-2406-15281, added-at = {2024-07-16T00:00:00.000+0200}, author = {Menezes, Rafael Sá and Manino, Edoardo and Shmarov, Fedor and Aldughaim, Mohannad and de Freitas, Rosiane and Cordeiro, Lucas C.}, biburl = {https://www.bibsonomy.org/bibtex/2db15f12d232fd20e3ad3cc9d79075947/dblp}, ee = {https://doi.org/10.48550/arXiv.2406.15281}, interhash = {39cc22289d6156b5cd2e7b51a42c05dc}, intrahash = {db15f12d232fd20e3ad3cc9d79075947}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-07-22T07:10:10.000+0200}, title = {Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2406.html#abs-2406-15281}, volume = {abs/2406.15281}, year = 2024 }