Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Petra Hozzová' in GoogleThis author has not been identified. Look up 'Jaroslav Bendík' in GoogleThis author has not been identified. Look up 'Alexander Nutz' in GoogleThis author has not been identified. Look up 'Yoav Rodeh' in Google

runs on WebDSL