Elementary Transition Systems.

Mogens Nielsen Grzegorz Rozenberg P. S. Thiagarajan

Published in: Theor. Comput. Sci. (1992)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
markov chain
model checker
case study
object oriented
domain specific
domain independent
formal verification