Verification of the Multistream Protocol (MSP) using COSPAN

Thomas F. La Porta, Mischa Schwartz

Research output: Contribution to journalArticlepeer-review

1 Scopus citations


This article presents the verification of several key properties of the MultiStream Protocol (MSP), a new feature-rich transport protocol. The verification was performed using the Coordination Specification Analyzer (COSPAN). The verification of this protocol presented many challenges due to the complexity of the protocol and its implementation architecture

Original languageEnglish (US)
Pages (from-to)123-153
Number of pages31
JournalFormal Methods in System Design
Issue number2
StatePublished - Feb 1 1994

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture


Dive into the research topics of 'Verification of the Multistream Protocol (MSP) using COSPAN'. Together they form a unique fingerprint.

Cite this