On computing invariants for predicate abstraction by SAT-solving
Abstract
We propose a method for computing invariants in disjunctive predicate abstraction domains using satisfiability modulo theory (SMT) testing.
Origin : Files produced by the author(s)
Loading...