Témák böngészése

Ezen az oldalon a Portálra feltöltött szakdolgozat és diplomaterv témák között böngészhet.

  • Konzulens választásához előbb válassza ki a tanszéket!

Találatok

Összesen 12 találat.Exportálás Excelbe

Temporális logikai specifikációk vizsgálata

Dr. Vörös András (MIT)
Segesdi Dániel (MSc képzés, mérnök informatikus szak, 2014-2015. ősz)

CEGAR-alapú modellellenőrzés vizsgálata

Dr. Vörös András (MIT)
Hajdu Ákos (MSc képzés, mérnök informatikus szak, 2015-2016. ősz)

Időzített rendszerek CEGAR alapú analízise

Dr. Vörös András (MIT)
Farkas Rebeka Krisztina (MSc képzés, mérnök informatikus szak, 2016-2017. ősz)

Verifikációs fordító fejlesztése C programokhoz

Tóth Tamás (MIT)
Sallai Gyula (BSc képzés, mérnök informatikus szak, 2016-2017. ősz)

Inkrementális, induktív modellellenőrzés alkalmazása szoftverekre

Tóth Tamás (MIT)
Tegzes Tamás (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)