Verification and synthesis of embedded insertion functions for opacity enforcement.

Christoforos Keroglou Stéphane Lafortune

Published in: CDC (2017)

Keyphrases

model checking
program synthesis
real time
data sets
decision trees
embedded systems
formal verification
databases
information retrieval
search engine
moving objects
basis functions