EA01 A formális módszerek szerepe
Semester:
2011. tavasz
Az előadás tartalma:
- Tárgyadatok
-
A formális módszerek szerepe
- Mik a formális módszerek?
- Mire szeretnénk használni a formális módszereket?
- A formális módszerek szerepe a fejlesztési modellekben
- A formális módszerek értékelése
- Sikertörténetek
-
Alapszintű formalizmusok
- Kripke-struktúrák
- Címkézett tranzíciós rendszerek
- Kripke tranzíciós rendszerek
- Időzített automaták
