Graded computation tree logic.

Alessandro Bianco Fabio Mogavero Aniello Murano

Published in: ACM Trans. Comput. Log. (2012)

Keyphrases

computation tree logic
alternating time temporal logic
model checking
temporal logic
bounded model checking
epistemic logic
temporal properties
formal semantics
formal verification
modal logic
formal specification
formal methods
linear temporal logic