Lecture 14
CTL Examples
Stanley Bak
Write the CTL formulas
In CTL but not in LTL
CTL*
Syntax:
Examples: