Paper Info
Title
Assertion-Based Reasoning Method for Calculus of Wireless System.
Abstract
Wireless technology has been widely used in various wireless network scenarios and applications. To model and analyze wireless systems, a calculus of wireless system called CWS has been introduced. In this paper, we put forward an assertion-based reasoning method for this calculus in order to support the verification of the correctness and some interesting properties of wireless system. To simplify the complexity of verification, we first present the assertion-based verification rules for processes separately. Due to the features of wireless system (e.g., broadcast, synchrony, interference), cooperation rules are introduced to combine the processes into a complete system. Finally, there is a case study about using our method to analyze and prove the correctness of Stop-and-Wait ARQ Protocol as well as some properties.
Year
DOI
Venue
2017
10.1007/978-3-319-63121-9_24
Lecture Notes in Computer Science
DocType
Volume
ISSN
Conference
10460
0302-9743
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Luyao Wang144.20
Wanling Xie246.88
Huibiao Zhu358386.68