Counterexample Guided Synthesis of Monitors for Realizability Enforcement.

Matthias Güdemann Gwen Salaün Meriem Ouederni

Published in: ATVA (2012)

Keyphrases

access control
model checking
program synthesis
database
machine learning
formal verification
genetic algorithm
case study
face recognition
preprocessing
texture synthesis
functional programs