Sign in

Counterexample Guided Synthesis of Monitors for Realizability Enforcement.

Matthias GüdemannGwen SalaünMeriem 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