EA04: Modellellenőrzés
Semester:
2012. tavasz
Az előadás anyaga:
- PLTL modellellenőrzés: A tabló módszer
- CTL modellellenőrzés: A szemantikán alapuló módszer (címkézés)
- Kiegészítés: PLTL modellellenőrzés automata alapú módszerrel
Letöltés:
