Software Verification and Validation - Presentations and Abstracts

Presentations in 2020/21 fall semester

Model based testing and V&V tools
Testing and simulation
Model checking and theorem proving
Verification of AI systems

Abstracts in 2020/21 fall semester


Presentations in 2019/20 fall semester

Formal Modelling and Verification

Classic and Informal Techniques


Presentations in 2018/19 fall semester

Formal Modelling and Verification

Classic and Informal Techniques

Abstracts in 2018/19 fall semester


Presentations in 2017/18 fall semester

Verification of Security and Agent Based Systems

Verification of Web Applications and Database Applications

Verification of Real-Time Systems and Safety Critical Systems

Verification of Networks and Communication


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