A toolset for message sequence charts

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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 languageAmerican English
Title of host publicationInternational Conference on Computer Aided Verification
EditorsAlan J. Hu, Moshe Y. Vardi
PublisherSpringer Berlin Heidelberg
StatePublished - 1998

Bibliographical note

Place of conference:Vancouver, BC, Canada


Dive into the research topics of 'A toolset for message sequence charts'. Together they form a unique fingerprint.

Cite this