Synthesizing Reactive Systems from Hyperproperties.

Bernd Finkbeiner Christopher Hahn Philip Lukert Marvin Stenger Leander Tentrup

Published in: CAV (1) (2018)

Keyphrases

reactive systems
temporal logic
model checking
information flow
petri net
formal methods
control flow
relational databases
object oriented