A tantárgy célkitűzése, hogy a Kritikus rendszerek mellékspecializáció tárgyainak anyagához és a specializáció tématerületéhez kapcsolódó ismereteket mélyítse el laboratóriumi mérések segítségével.

A laborok részletes tematikája:

1. Technológiai bemutató: a laboratórium során használt technológiai háttér bemutatása és megismerése
2. Szakterület-specifikus nyelvek elemzése: szakterület-specifikus nyelvek automatikus elemzése logikai megoldók használatával.
3. Programverifikáció I.: korlátos modellellenőrző algoritmus implementálása.
4. Programverifikáció II.: absztrakcióalapú modellellenőrző algoritmus implementálása.
5. Modellezés alkalmazása megbízhatósági vizsgálatokban: kvantitatív és kvalitatív módszerek kipróbálása a gyakorlatban, megbízhatóság számítása, probabilisztikus programozási környezetek használata.
6. Szolgáltatásbiztonsági mérések elemzése I.: mérési adatok feldolgozása és vizsgálata felderítő adatelemzés segítségével.
7. Szolgáltatásbiztonsági mérések elemzése II.: következtetés és elemzés Answer set programming (ASP) használatával.
8. Elosztott rendszerek hibatűrése: hibatűrési minták használata elosztott rendszerekben.
9. Okosszerződések használata: decentralizált rendszereken futó okosszerződések készítése és ellenőrzése.