Property-Directed Synthesis of Reactive Systems from Safety Specifications.

Ting-Wei Chiang Jie-Hong R. Jiang

Published in: ICCAD (2015)

Keyphrases

reactive systems
model checking
temporal logic
information flow
transition systems
petri net
control flow
formal methods
real time systems
program synthesis
state machines
process model
network traffic
low cost
high level
data mining
real time