EA02 Temporális logikák

Semester: 
2011. tavasz

Az előadás tartalma:

  • Motiváció
  • Temporális logikák
  • Egy lineáris temporális logika: PLTL
    • Operátorok
    • Szintakszis
    • Szemantika
    • Példák
  • Egy elágazó idejű temporális logika: CTL*
    • Operátorok
    • Szintakszis
    • Szemantika
  • Egy másik elágazó idejű temporális logika: CTL
    • Operátorok
    • Szintakszis és szemantika
    • Példák
  • Temporális logikák kifejezőképessége
  • A modellellenőrzési feladat
Letöltés: