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