There exists a problem of forming false routing and route loops in protocols of exchanging route information RIP. There has been defined the task of finding value intervals of protocol timer, which enable preventing the formation of route loops for the given network topology. The method of solving the problem is proposed. It includes a formal description of RIP protocol standard, final modelling based on the given description and network topology and its subsequent formal verification.