EA05: Szimbolikus modellellenőrzés és ROBDD-k

Semester: 
2013. tavasz
  • Szimbolikus modellellenőrzés (bevezető)
  • Karakterisztikus függvények
  • ROBDD alapú reprezentáció, műveletek ROBBD-ken