Login / Signup
Runtime enforcement of reactive systems using synchronous enforcers.
Srinivas Pinisetty
Partha S. Roop
Steven Smyth
Stavros Tripakis
Reinhard von Hanxleden
Published in:
SPIN (2017)
Keyphrases
</>
reactive systems
temporal logic
model checking
petri net
information flow
formal methods
control flow
access control
real time systems
state machines
relational databases
computer systems
asynchronous communication