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

Benjamin Farinier Sébastien Bardin Richard Bonichon Marie-Laure Potet

Published in: CoRR (2018)

Keyphrases

security policies
search engine
decision trees
multiscale
lower bound