JE01: Korábbi évek jegyzetei
Semester:
2011. ősz
Figyelem! Ezek a jegyzetek a korábbi évek előadásaihoz készültek. Az aktuális félév anyagát a kiadott fóliák tartalmazzák. Ugyanakkor ezek a jegyzetek hasznosak lehetnek, mint egyes témák háttéranyagai.
- Klasszikus verifikáció és validáció
- Formális módszerek szerepe a verifikációban
- Temporális logikák és modellellenőrzés
- Ekvivalencia ellenőrzés
- Program helyességbizonyítás
- Modellfinomítás helyességellenőrzéssel
