Protocol Formal Description and Verification Method Based on RSL
Haoran Shao · Jisuanji gongcheng · 2009
This paper discusses the way to use RAISE Specification Language(RSL) to describe six kinds of protocol elements.Based on RSL description, it uses operation rules of RSL operators, expansion rule of parallel operation and hide rule of synchronous-communicating events to verify related properties of the protocol.Description and verification of a stopping-waiting protocol are presented as an example, which prove that compared with other formal methods, RSL has better description ability.