Taming the Wrapping of Integer Arithmetic
No abstract available.
Related papers
- Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss TOPLAS 2014
- Taming the IXP network processor PLDI 2003
- Widening Integer Arithmetic CC 2004
- Solving Nonlinear Integer Arithmetic with MCSAT VMCAI 2017
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic TACAS 2011
- An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic TACAS 2003
- LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals CAV 2007
- Towards Verifying Nonlinear Integer Arithmetic CAV 2017