Elméleti és gyakorlati ismeretek nyújtása a távközlési szoftverek és a protokollok, kiterjesztett kommunikáló véges automaták elméletén alapuló specifikáció, verifikáció, validáció és konformancia tesztelés témaköréből. Módszerek, algoritmusok valamint formális leíró eszközök és nyelvek alkalmazása távközlési szoftverek és protokollok megvalósítására. Esettanulmányok a modern kommunikációs protokollokra.