Modal and guarded characterisation theorems over finite transition systems.

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
fixed point
modal logic
model checker
formal specification
finite number
learning algorithm
petri net
distributed systems
object oriented