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

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

Published in: CAV (2) (2018)

Keyphrases

control flow
real world
real time
security policies
genetic algorithm
social networks
logic programs
mathematical formulas