Model-based verification of the SIP invite scenario

  title={Model-based verification of the SIP invite scenario},
  author={Sinisa Matetic and Marina Bagic Babac},
  journal={2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)},
The Session Initiation Protocol (SIP) is a signaling protocol for multimedia control over the Internet. It is used for initiating, maintaining and terminating multimedia sessions. In this paper we have carried out the verification of the SIP Invite scenario with Coloured Petri nets (CP-nets or CPNs). First, we have specified and verified the protocol model… CONTINUE READING