Professional Documents
Culture Documents
Formal Methods of S/W Development: Department of Computer Science
Formal Methods of S/W Development: Department of Computer Science
LECTURER
SAMAN TARIQ
Agenda
Review of Lecture 8
Temporal Logic
LTL and CTL
Examples
2
Review of Lecture 8
Temporal Logic
3
Review of Lecture 8
CTL*
6
Examples (cont.)
AG AF
7
Examples (cont.)
AX A[U ]
8
Examples (cont.)
EG EF
9
Examples (cont.)
EX E[U ]
10
Typical CTL* Formulas
It is possible to get to a state where the system has started
but is not ready
EF ( )
11