Szoftver verifikáció és validáció - Referátumok

Kiselőadások 2016/17. ősz

Tesztelési technikák témakör:

Formális verifikáció témakör:


Kiselőadások 2015/16. ősz

Verifikációs technikák témakör:

Formális verifikáció témakör:

Verifikáció a gyakorlatban:

Összefoglalók 2015/16. ősz


Kiselőadások 2014/15. ősz

Modellellenőrzés témakör:

Formális verifikáció témakör:

Tesztelés témakör:

Összefoglalók 2014/15. ősz


Kiselőadások 2013/14. ősz

Tesztelés témakör:

Formális verifikáció témakör:

Összefoglalók 2013/14. ősz


Kiselőadások 2012/13. ősz

Formális verifikáció témakör:

Tesztelés témakör:

Statikus analízis témakör:

Összefoglalók 2012/13. ősz


Kiselőadások 2011/12. ősz

Statikus analízis témakör:

Tesztelés témakör:

Általános verifikáció témakör:

Összefoglalók 2011/12. ősz


Korábbi évek anyagai