Computation Tree Logic, CTL Clarke & Emerson 1980
Syntax
Previous slide
Next slide
Back to first slide
View graphic version