Design and validation of computer protocols
Design and validation of computer protocols
Theoretical Computer Science
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
On a formal semantics of tabular expressions
Science of Computer Programming
Formal analysis of routing protocols
Formal analysis of routing protocols
Verification of the WAP Transaction Layer
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Analysis of a session-layer protocol in MCRL2: verification of a real-life industrial implementation
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Using Model Checking to Analyze the System Behavior of the LHC Production Grid
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Hi-index | 0.00 |
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.