Modal and Guarded Characterisation Theorems over Finite Transition Systems.

Published in: LICS (2002)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
modal logic
model checker
markov chain
finite number
reactive systems
petri net
fixed point
data flow
fully observable