Verification of the Multistream Protocol (MSP) using COSPAN

Thomas F. La Porta, Mischa Schwartz

Research output: Contribution to journalArticle

1 Scopus citations

Abstract

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
Volume4
Issue number2
DOIs
StatePublished - Feb 1 1994

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture

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

  • Cite this