Bounding Fixed Points of Non-Monotone Processes: Theory to Practice

Abdullah H. Rasheed, Vijay K. Garg

Many modern solvers and program analyzers rely on non-monotone reasoning (e.g. negation-as-failure, speculative updates, backtracking) for which classical monotone fixed-point meth…