• DocumentCode
    3623330
  • Title

    Formal specification and verification of OSI session layer protocol using CCS

  • Author

    M. Barjaktarovic; Shiu-Kai Chin;K. Jabbour

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Syracuse Univ., NY, USA
  • fYear
    1993
  • Firstpage
    1140
  • Abstract
    This paper describes an application of formal methods to protocol specification, validation and verification. The chosen formal method is the Calculus of Communicating Systems (CCS), which is used to build a CCS model of the Open Systems Interconnection (OSI) Reference model session layer protocol and prove its inherent livelock using the CCS automated support.
  • Keywords
    "Formal specifications","Open systems","Protocols","Carbon capture and storage","ISO standards","Standards development","Standards organizations","Calculus","Standardization","Software design"
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on
  • Print_ISBN
    0-7803-1760-2
  • Type

    conf

  • DOI
    10.1109/MWSCAS.1993.343290
  • Filename
    343290
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3623330