Reversal Framework
Restriction: flow facts for data flow problems with finite lattices
Distributed problems
- Precise as exhaustive
- Computation complexity same as for exhaustive
-
Non distributed problems
- imprecise
- precise (meet over all paths): variation of framework - 2 phases