Formal Analysis and Verification for Network Protocols Based on SMV
Li Xiang · Jisuanji gongcheng · 2006
This paper proposes an new approach for formal analyzing and automatically verifing of network protocols.The protocol PAR is modeled as finite state machine,and analyzing in it’s vital aspects of properties.As a result,some limitations is finded in this protocol.This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.