EDT: A specification notation for reactive systems.

R. Venkatesh Ulka Shrotri G. Murali Krishna Supriya Agrawal

Published in: DATE (2014)

Keyphrases

reactive systems
model checking
petri net
temporal logic
information flow
formal methods
control flow
transition systems
real time systems
modeling language
real time
information systems
data flow