A toolset for Message Sequence Charts

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

1 Scopus citations


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 languageEnglish
Title of host publicationComputer Aided Verification - 10th International Conference, CAV'98, Proceedings
PublisherSpringer Verlag
Number of pages5
ISBN (Print)3540646086, 9783540646082
StatePublished - 1998
Externally publishedYes
Event10th International Conference on Computer-Aided Verification, CAV'98 - Vancouver, BC, Canada
Duration: 28 Jun 19982 Jul 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1427 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference10th International Conference on Computer-Aided Verification, CAV'98
CityVancouver, BC


Dive into the research topics of 'A toolset for Message Sequence Charts'. Together they form a unique fingerprint.

Cite this