Documents 1 Computation Tree Logic (CTL). 2 CTL Syntax P - a set of atomic propositions, every p P is a CTL.....

Slide 11 Computation Tree Logic (CTL) Slide 2 2 CTL Syntax P - a set of atomic propositions, every p  P is a CTL formula. f, g, CTL formulae, then so are  f, f …