Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN
Yu-Tong He, Ryszard Janicki · Conference of the Centre for Advanced Studies on Collaborative Research · 2004
This paper deals with a formal verification of protocols, where the model checking approach is applied. As a case example, the Wireless Application Protocol (WAP Version 2.0) and the SPIN model checker are used. The paper concentrates on the Transaction Layer, in which some defects have been uncovered and proper corrections have been proposed.