Potapov I. Logical analysis of network protocols on the basis of communicating finit e state machines model

The object of investigation is protocol of computer networks. The aim of dissertation is improving efficiency of computer networks on each stage of their life cycle from design till exploitation by working out new methods and algorit hms for analysis of computer networks protocols. In order to decide the tasks t hat were defined in dissertation we are using methods of automata theory, formal language theory, graph theory and theory of algorithms. Open problems of logic correctness of network protocols are solved in dissertation work, сonstructed me thods and algorithms check up logical correctness properties of protocols with b ounded and unbounded communication via channels as well as reduce time and space complexity in the process of analysis. As a result of inverstigation software r ealization is obtained on the basis of presented methods.The field of using obta ined methods is systems of automatic construction and realization of network com puter protocols.