Formal analysis and verification of a communication protocol

Authors:
Xin Ben Li;De Chao Sun
Affiliations:
Department of Computer Science and Technology, Zhejiang Wanli University, Ningbo, Zhejiang, People's Republic of China;Department of Computer Science and Technology, Zhejiang Wanli University, Ningbo, Zhejiang, People's Republic of China
Venue:
ISP'06 Proceedings of the 5th WSEAS International Conference on Information Security and Privacy
Year:
2006

Citing 3
Cited 0

NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems
Verification of timed circuits with failure-directed abstractions

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reliability is one of the major concerns in the design of embedded systems. Formal verification by model checking is of a great advantage in verifying the correctness of computer system, whether they are hardware, software or a combination. The paper reports the design and development of an intelligent telephone alarm that is a single-chip computer system, and the formal verification of communication protocol is described based on the model checker NuSMV.