Specification and verification using message sequence charts

Doron Peled

doi:10.1016/S1571-0661(04)80484-5

Specification and verification using message sequence charts

Doron Peled

University of Texas at Austin

Research output: Contribution to journal › Conference article › peer-review

8 Scopus citations

Abstract

Message sequence charts is a notation used in practice by protocol designers and system engineers. In this survey, some of the recent results related to this notation, in the context of specification and automatic verification of communication protocols, are presented.

Original language	English
Pages (from-to)	51-64
Number of pages	14
Journal	Electronic Notes in Theoretical Computer Science
Volume	65
Issue number	7
DOIs	https://doi.org/10.1016/S1571-0661(04)80484-5
State	Published - May 2002
Externally published	Yes
Event	VISS 2002, Validation and Implementation of Scenario-Based Specifications (Satellite Event of ETAPS 2002) - Grenoble, France Duration: 6 Apr 2002 → 14 Apr 2002

Access to Document

10.1016/S1571-0661(04)80484-5

Cite this

@article{94a205416e9e41dbbc2946f98fc11022,

title = "Specification and verification using message sequence charts",

abstract = "Message sequence charts is a notation used in practice by protocol designers and system engineers. In this survey, some of the recent results related to this notation, in the context of specification and automatic verification of communication protocols, are presented.",

author = "Doron Peled",

year = "2002",

month = may,

doi = "10.1016/S1571-0661(04)80484-5",

language = "אנגלית",

volume = "65",

pages = "51--64",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "7",

note = "VISS 2002, Validation and Implementation of Scenario-Based Specifications (Satellite Event of ETAPS 2002) ; Conference date: 06-04-2002 Through 14-04-2002",

}

TY - JOUR

T1 - Specification and verification using message sequence charts

AU - Peled, Doron

PY - 2002/5

Y1 - 2002/5

N2 - Message sequence charts is a notation used in practice by protocol designers and system engineers. In this survey, some of the recent results related to this notation, in the context of specification and automatic verification of communication protocols, are presented.

AB - Message sequence charts is a notation used in practice by protocol designers and system engineers. In this survey, some of the recent results related to this notation, in the context of specification and automatic verification of communication protocols, are presented.

UR - http://www.scopus.com/inward/record.url?scp=18144420743&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(04)80484-5

DO - 10.1016/S1571-0661(04)80484-5

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:18144420743

SN - 1571-0661

VL - 65

SP - 51

EP - 64

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 7

T2 - VISS 2002, Validation and Implementation of Scenario-Based Specifications (Satellite Event of ETAPS 2002)

Y2 - 6 April 2002 through 14 April 2002

ER -

Specification and verification using message sequence charts

Abstract

Access to Document

Other files and links

Fingerprint

Cite this