Examples of CTL formulae

Examples of CTL formulae

• Propositions represented by small case alphabet e.g. p, q, r
• AGp
• E(p U q) (strong until)
• EF(p -> AGq) (same as EF(not(p) + AGq))
• AGEFp
• AG(not(AXp) + EFq)

Previous slide

Next slide

Back to the first slide

View Graphic Version