Temporal formulae

• Temporal logics allow us to say things like

  • Does some property hold true globally?
    • Top figure
  • Does some property inevitably hold true?
    • Bottom figure
  • Does some property potentially hold true?

Previous slide

Next slide

Back to first slide

View graphic version