Validating Message Sequence Charts

Anca Muscholl
LIAFA, University Paris 7
Friday, 17 October, 2003 (All day)

Message sequence charts are a popular visual notation for describing communication protocols in form of scenarios. They are a standard of the ITU and part of UML.

This talk gives a survey of recent results on two main verification problems concerning MSC specifications: model-checking (regular/cooperative HMSCs) and the realization of HMSC specifications by communicating finite-state machines.