Abstract
The ISO standard for MSC provides a useful tool for visualizing communication protocols. MSCs present a model
for concurrency that is different from the model of finite
state systems, used frequently in automated verification.
Thus, the MSC model poses new and interesting problems
related to automatic verification of communication protocols.
In this paper, some of the recent results related to
MSCs are surveyed.
| Original language | American English |
|---|---|
| Title of host publication | ICDCS Workshop on Distributed System Validation and Verification |
| State | Published - 2000 |
Bibliographical note
Pages E7-E13;Place of conference:Taipei , Taiwan
Fingerprint
Dive into the research topics of 'Formal Methods for Message Sequence Charts'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver