Formális nyelvek és módszerek
IB026
2025. április 24. 9:00
Pályamunkák
| # | Szerző(k) | Pályamunka címe | Affiliáció | Konzulens(ek) |
|---|---|---|---|---|
| 1 | Rippl Balázs Róbert | Absztrakció alapú algoritmusok konfigurálható automataelméleti modellellenőrzéshez | BME | Mondok Milán, Szekeres Dániel |
| 2 | Somogyi Dávid | Dinamikai analízis és állapotmegfigyelő tervezése hálózatos struktúrájú kompartmentális modellekhez | PPKE | Szederkényi gábor |
| 3 | Adil Benamor | Formalization of Matching Logic Theories in Coq | ELTE | Horpácsi Dániel |
| 4 | Kurucz Ádám | Implementation of the unification algorithm in matching logic | ELTE | Horpácsi Dániel, Bereczky Péter |
| Szünet | ||||
| 5 | Zavada Ármin | Mérnöki modellek konfigurálható szemantikájú verifikációja moduláris modellezési nyelv segítségével | BME | Dr. Molnár Vince, Graics Bence |
| 6 | Isztin Martin | Sérülékenységet tanúsító egységtesztek automatikus generálásának vizsgálata | SZTE | Dr. Antal Gábor, Dr.Bán Dénes |
| 7 | Csimma Viktor | The Agda SDK: a tool for writing Agda-powered GUI applications | ELTE | Kaposi Ambrus |
| 8 | Adrián Patrik | Szintaktikai elemzők erős negációs szemantikájú logikai nyelvtanokhoz | DE | Prof. Dr. Vaszil György |