Concurrent Transition Systems.

Eugene W. Stark

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

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
model checker
formal specification