E04: Modellellenőrzés
Semester:
2013. tavasz
- 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
Download: