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