Verification of the Session Management Protocol

Master's Project at Ericsson AB

Student: Karl Palmskog
Supervisor at EAB: Yuri Ismailov
Supervisor at KTH: Mads Dam
Examiner: Johan Håstad

Final thesis draft is available here.

See also slides from the presentation at Ericsson and from the presentation at KTH.

A paper covering the work in the project was accepted to the 4th European Conference on Multiservice Networks (ECUMN'07).