Formális módszerek házi feladat kiírások és a feladatok hallgatókhoz rendelése letölthető
A Formális módszerek kötelező félévi házi feladat kiírások és a feladatokat hallgatókhoz rendelő táblázat kikerült a tárgy házi feladatokkal kapcsolatos tudnivalókat tartalmazó oldalára.
Minden hallgató egy házifeladatot old meg önálló munkával. 12 feladattípus van, ezek közül véletlen sorsolással rendeltünk egyet minden hallgatóhoz. A feladatokat a hallgatókhoz rendelő táblázat az alábbi hivatkozással letölthető táblázatban, NEPTUN kód szerint rendezve található meg.
A feladatok konkrét megfogalmazását, azaz a modellezendő rendszer leírását és a hozzá kapcsolódó bizonyítandó követelményeket az alábbi táblázatban elhelyzett hivatkozásokkal letölthető dokumentumok tartalmazzák:
| Sorszám | Feladat címe | Konzulens | Sorszám | Feladat címe | Konzulens |
| 1 | Elosztott feldolgozás protokoll | Bergmann Gábor | 2 | Gyorsítótár koherencia | Bergmann Gábor |
| 3 | Automatizált üvegház | Csikós Donát | 4 | Üzleti folyamat ellenőrzése | Csikós Donát |
| 5 | GPU | Hegedüs Ábel | 6 | Titkosító modul | Hegedüs Ábel |
| 7 | Reptéri irányítás | Horváth Dóra | 8 | Terheléselosztó | Horváth Dóra |
| 9 | Incidenskezelés | Vajna Miklós | 10 | Spamszűrés | Vajna Miklós |
| 11 | Multiprocesszoros buszrendszer | Vörös András | 12 | Közlekedési lámpák | Vörös András |
A feladatok kidolgozását egy konzulens segíti. A honlapon meghirdetett konzultációs időpontban tehetik fel a feladattal kapcsolatos kérdéseiket az adott feladat konzulensének az érdeklődő hallgatók. Az egyes feladatokhoz tartozó konzulens neve szintén a fenti táblázatban olvasható.
