Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences.

Published in: LFCS (1997)

Keyphrases

computation tree logic
model checking
temporal logic
bounded model checking
epistemic logic
formal specification
formal verification
multi agent
model checker
knowledge base
state space
modal logic
satisfiability problem
minimal change
temporal properties
alternating time temporal logic