CTL Examples

Stanley Bak

Write the CTL formulas

In CTL but not in LTL

CTL*

Syntax:

Examples: