Truth Value of CTL Formulae

A formula is either true or false in a state.
A CTL formula is true for a design if it is true in all initial states of the state transition graph of the design.