Computing Fixed Points using Dependency Oracles

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +1

We present global and local algorithms for solving systems of equations over Noetherian posets with a bottom element, a general setting underlying many verification problems. Our a…