Graded Computation Tree Logic.

Alessandro Bianco Fabio Mogavero Aniello Murano

Published in: LICS (2009)

Keyphrases

computation tree logic
alternating time temporal logic
model checking
temporal logic
bounded model checking
epistemic logic
temporal properties
formal verification
image processing
modal logic
formal specification
minimal change
model checker