Hibák felderítése, diagnosztikája és korrekciója formális módszereken alapuló telekommunikációs szoftver fejlesztés során