Search
Now showing items 1-1 of 1
PostHat and All That: Attaining Most-Precise Inductive Invariants
(2013-04-16)
In abstract interpretation, the choice of an abstract domain fixes a
limit on the precision of the inductive invariants that one can
express; however, for a given abstract domain A, there is a
most-precise (``strongest'', ...