Automated Computer Communication Network Protocol Verification System

摘要

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)