Synthesizing Reactive Systems Using Robustness and Recovery Specifications.

Roderick Bloem Hana Chockler Masoud Ebrahimi Ofer Strichman

Published in: FMCAD (2019)

Keyphrases

reactive systems
model checking
information flow
temporal logic
petri net
control flow
formal methods
transition systems
real time systems
high level
state machines
social networks
databases
distributed databases
black box