EA07: Hatékony modellellenőrzés (az állapottér kezelése)
Semester:
2011. ősz
Az előadás anyaga:
-
Szimbolikus modellellenőrzés CTL esetén
- Az ROBDD-k használata
- Részleges rendezés a PLTL modellellenőrzsé során
Letöltés:
