Monadic Second-Order Logic, Graph Coverings and Unfoldings of Transition Systems.

Bruno Courcelle Igor Walukiewicz

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

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
monadic second order logic
rough sets
practical reasoning
machine learning
pattern matching
data complexity
control flow
reactive systems
petri net