A laboratórium célkitűzése a hibatűrő rendszerek tervezése során használható formális modellezési, leíró és verifikációs technikák megismertetése. Önálló munka keretében mintarendszer illetve részrendszer tervezése, modellezése és verifikációja.