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

Table 1

Proof statistics.

Model	Total number of POs	Automatic Proof	Interactive Proof
Initial model	6	4	2
First refinement	49	42	7
Second refinement	10	10	0
Third refinement	14	13	1
Total	79	69 (87%)	10 (13%)