EA02: Alapszintű formalizmusok. Lineáris temporális logikák.
Semester:
2013. tavasz
Alapszintű formalizmusok:
- Kripke-struktúrák (KS)
- Címkézett tranzíciós rendszerek (LTS)
- Kripke tranzíciós rendszerek (KTS)
- Időzített automaták
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
