Widening Integer Arithmetic
No abstract available.
Related papers
- Widening Arithmetic Automata CAV 2004
- Solving Nonlinear Integer Arithmetic with MCSAT VMCAI 2017
- Taming the Wrapping of Integer Arithmetic SAS 2007
- 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
- Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic CAV 2024