On the model-checking of monadic second-order formulas with edge set quantifications.

Bruno Courcelle

Published in: Discret. Appl. Math. (2012)

Keyphrases

model checking
temporal logic
formal verification
temporal properties
computation tree logic
finite state machines
verification method