On computing invariants for predicate abstraction by SAT-solving
Résumé
We propose a method for computing invariants in disjunctive predicate abstraction domains using satisfiability modulo theory (SMT) testing.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...