EA02: Alapszintű formalizmusok és lineáris idejű temporális logikák
Semester:
2012. tavasz
Az előadás anyaga:
Alapszintű formalizmusok:
- Kripke-struktúrák (KS)
- Címkézett tranzíciós rendszerek (LTS)
- Kripke tranzíciós rendszerek (KTS)
- Véges állapotú automaták időkezeléssel
Lineáris idejű temporális logikák:
- Temporális logikák típusai
- Lineáris idejű temporális logikák
- PLTL: Operátorok, formális szintaxis és szemantika
- Követelmények formalizálása
