Keyword:non-linear real arithmetic

Publications
Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning