"An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants ..."

Antoine Miné, Jason Breck, Thomas W. Reps (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics