Timed Transition Systems.

Thomas A. Henzinger Zohar Manna Amir Pnueli

Published in: REX Workshop (1991)

Keyphrases

transition systems
concurrent systems
petri net
model checking
temporal logic
finite state
reactive systems
practical reasoning
control flow
markov chain
distributed systems
data flow
model checker
case study
formal verification