Widening and Interpolation
Abstract elided by the publisher.
Related papers
- Widening Arithmetic Automata CAV 2004
- Lookahead Widening CAV 2006
- Widening Integer Arithmetic CC 2004
- Widening Polyhedra with Landmarks APLAS 2006
- Localizing Widening and Narrowing SAS 2013
- Simple and Precise Widenings for H-Polyhedra APLAS 2010
- Widening ROBDDs with Prime Implicants TACAS 2006
- Combining Widening and Acceleration in Linear Relation Analysis SAS 2006