Sign in

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

Benjamin FarinierSébastien BardinRichard BonichonMarie-Laure Potet
Published in: CAV (2) (2018)
Keyphrases
  • control flow
  • real world
  • real time
  • security policies
  • genetic algorithm
  • social networks
  • logic programs
  • mathematical formulas