Verification of Telecommunication Protocols Based on Formal Methods
Tkacheva Elena Borisovna · International Journal of Intelligent Information Systems · 2013
This article is devoted to the development method for verification and detecting errors that can occur in the operation of protocols for information exchange. The various steps of verification of telecommunication protocols are given in the article; the construction of counterexample, which helps to identify the logical operations that lead to errors in the protocols. Practical implementation of given method is shown on TCP.