Extending modal transition systems with structured labels.

Sebastian S. Bauer Line Juhl Kim G. Larsen Axel Legay Jirí Srba

Published in: Math. Struct. Comput. Sci. (2012)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
practical reasoning
finite state
control flow
reactive systems
distributed systems
model checker
markov chain
petri net
training set
social networks
formal verification
multi agent
case study