An Automated Computer Communication Network Protocol Verification System
Author | : K. R Martin (Jr) |
Publisher | : |
Total Pages | : 220 |
Release | : 1983 |
ISBN-10 | : OCLC:227606999 |
ISBN-13 | : |
Rating | : 4/5 (99 Downloads) |
Download or read book An Automated Computer Communication Network Protocol Verification System written by K. R Martin (Jr) and published by . This book was released on 1983 with total page 220 pages. Available in PDF, EPUB and Kindle. Book excerpt: An automated tool for computer network communication protocol validation was developed and implemented. The method utilyzes the Program Modeling Language (PPML) to specify the protocol and an automated procedure to convert the PPML description into an equivalent Evaluation Net in order to evaluate the protocol. Simulation techniques are used to exercise the Evaluation Net presenting data on message transmission times and global state generation. (Author).