Lecture 14
CTL Examples

Stanley Bak

Write the CTL formulas

In CTL but not in LTL

CTL*

Syntax:

Examples:

CTL Examples Lecture 14

By Stanley Bak

CTL Examples Lecture 14

  • 29

More from Stanley Bak