EA05: Szimbolikus modellellenőrzés és ROBDD-k
Semester:
2012. tavasz
Az előadás anyaga:
- Szimbolikus modellellenőrzés (bevezető)
- Karakterisztikus függvények
- ROBDD alapú reprezentáció, műveletek ROBBD-ken
Download:
