Temporal Logics

  • Sista inlämningsdatum Inget inlämningsdatum
  • Poäng 3
  • Frågor 3
  • Tidsgräns Ingen
  • Tillåtna försök Obegränsad

Instruktioner

ltl-ex1.svg

ctl-example.svg

ctl-ex-1.svg

Check which properties hold in the following cases.