A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction

<table class="algorithm-group"><tr><td><table class="algorithm" id="figbox6"><tr><td colspan="2"><b>VARIABLES</b></td></tr><tr><td colspan="2">  H</td></tr><tr><td colspan="2">  B</td></tr><tr><td colspan="2">  I</td></tr><tr><td colspan="2">  D</td></tr><tr><td colspan="2">  Temp_B</td></tr><tr><td colspan="2">  Temp_H</td></tr><tr><td colspan="2">  Temp_D</td></tr><tr><td colspan="2">  Temp_I</td></tr><tr><td colspan="2">  Temp_M</td></tr><tr><td colspan="2">  Temp_L</td></tr></table></td></tr></table>

Journal of Computer Networks and Communications

figbox6

Box 6

Box 6: A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction 