Towards verifying nonlinear integer arithmetic

DOI10.1007/978-3-319-63390-9_13MaRDI QIDQ6828068zbMATH OpenFDO

Authors Paul Beame, Vincent Liew

Publication date 12 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63390-9_13

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Towards verifying nonlinear integer arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828068)