CTL Examples

Stanley Bak

Write the CTL formulas

In CTL but not in LTL

CTL*

Syntax:

Examples:

CTL Examples

By Stanley Bak

CTL Examples

  • 7

More from Stanley Bak