EA05: Hennessy-Milner logika, PLTL lineáris temporális logika és modellellenőrzése
Semester:
2011. ősz
Az előadás anyaga:
- Temporális követelmények
-
A Hennessy-Milner logika
- Modellellenőrzés a tabló módszerrel
-
A PLTL lineáris temporális logika
- Operátorok
- Modellellenőrzés automata-elméleti alapon
- A modellellenőrzés komplexitása
Letöltés:
