Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.
|Original language||American English|
|Title of host publication||International Conference on Computer Aided Verification|
|Editors||Alan J. Hu, Moshe Y. Vardi|
|Publisher||Springer Berlin Heidelberg|
|State||Published - 1998|