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).