Model Generation for Quantified Formulas: A Taint-Based Approach.

Benjamin Farinier, Sbastien Bardin, Richard Bonichon, Marie-Laure Potet

Browse the full CAV paper archive.