Widening Operators for Weakly-Relational Numeric Abstractions (Extended Abstract)

Roberto Bagnara, Patricia M. Hill, Elena Mazzi +1

We discuss the divergence problems recently identified in some extrapolation operators for weakly-relational numeric domains. We identify the cause of the divergences and point out…