Understanding SIP through Model-Checking

  title={Understanding SIP through Model-Checking},
  author={Pamela Zave},
In recent years, SIP has become an important and widely-used protocol for IP-based multimedia services. Despite voluminous documentation, there is only scattered and informal material explaining the states of the protocol and the events that can occur in each state. To fill this gap, this paper presents a Promela model of invite dialogs in SIP. The model has been verified and validated with the Spin modelchecker. The paper discusses the practical value of this model, explains some problems in… CONTINUE READING
Highly Cited
This paper has 23 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 14 extracted citations

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys & Tutorials • 2015
View 5 Excerpts
Highly Influenced

A practical comparison of Alloy and Spin

Formal Aspects of Computing • 2014

Formal Modeling and Analysis of SIP Using Colored Petri Nets

2011 7th International Conference on Wireless Communications, Networking and Mobile Computing • 2011

Similar Papers

Loading similar papers…