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:
