EA04 Hatékony modellellenőrzés
Semester:
2011. tavasz
Az előadás tartalma:
Szimbolikus modellellenőrzés
- Állapothalmazok kezelése
- Karakterisztikus függvények
- Karakterisztikus függvények kezelése ROBDD-vel
Az ROBDD-k tulajdonságai
- ROBDD építése
- Műveletek ROBDD-ken
Korlátos modellellenőrzés
- A SAT megoldók használata
- A modellellenőrzés algoritmusa
- Szoftver modellellenőrzés
Letöltés:
