Shield Synthesis: Runtime Enforcement for Reactive Systems.

Roderick Bloem Bettina Könighofer Robert Könighofer Chao Wang

Published in: CoRR (2015)

Keyphrases

reactive systems
temporal logic
model checking
petri net
information flow
formal methods
control flow
program synthesis
state machines
texture synthesis
real time systems
database
access control
knowledge management
information security