Towards Verifying Nonlinear Integer Arithmetic

Article Details
Title:	Towards Verifying Nonlinear Integer Arithmetic
Article URLs:	https://doi.org/10.1007/978-3-319-63390-9_13
Alternative Article URLs:
Authors:	Paul Beame	University of Washington, Computer Science and Engineering
Authors:	Vincent Liew	University of Washington, Computer Science and Engineering
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:	1524246
DBLP Key:	conf/cav/BeameL17
Author Comments:

Computer Aided Verification, CAV 2017