Abstract
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 |