Petra Hozzová, Jaroslav Bendík, Alexander Nutz, Yoav Rodeh. Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification. In Ruzica Piskac, Andrei Voronkov, editors, LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. Volume 94 of EPiC Series in Computing, pages 257-269, EasyChair, 2023. [doi]
@inproceedings{HozzovaBNR23, title = {Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification}, author = {Petra Hozzová and Jaroslav Bendík and Alexander Nutz and Yoav Rodeh}, year = {2023}, doi = {10.29007/h4p7}, url = {https://doi.org/10.29007/h4p7}, researchr = {https://researchr.org/publication/HozzovaBNR23}, cites = {0}, citedby = {0}, pages = {257-269}, booktitle = {LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023}, editor = {Ruzica Piskac and Andrei Voronkov}, volume = {94}, series = {EPiC Series in Computing}, publisher = {EasyChair}, }