On tracing reactive systems.

Shahar Maoz David Harel

Published in: Softw. Syst. Model. (2011)

Keyphrases

reactive systems
temporal logic
information flow
model checking
formal methods
petri net
real time systems
control flow
state machines
data lineage
real time
data mining
multi agent systems
object oriented
fine grained