Формальные методы анализа телекоммуникационных протоколов. верификация телекоммуникационных протоколов.