Template based approach to discovering disjunctive and quantified invariants over predicate abstraction (original) (raw)

Academia.edu no longer supports Internet Explorer.

To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.