How to combine widening and narrowing for non-monotonic systems of equations
Kalmer Apinis, Helmut Seidl, Vesal Vojdani · 2013
Non-trivial analysis problems require complete lattices with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equations, Cousot and Cousot have suggested accelerated fixpoint iteration by means of widening and narrowing.