

Szoftverbiztonság és információbiztonság
A kurzus a programelemzés alapvető, típusokon és logikai módszereken alapuló technikáit mutatja be, amelyek segítségével azonosíthatók a nem megengedett viselkedési formák, igazolható azok hiánya, valamint megismerhetők az ezeket a technikákat megvalósító eszközök.







































