Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик

Abstract

The given work is devoted to the developing the methods of analysis and verification of telecommunication protocols, that reduce development time protocol. Developed a method for analyzing the basic algorithmic properties of the protocol model, based on the use of formal grammars. It is proved that the use of formal grammar allows more rigorous analysis of properties of the model protocol.