• DocumentCode
    3524124
  • Title

    Protocol verification using concurrent paths

  • Author

    Liu, Wen-Chien ; Chyan-Goei Chung

  • Author_Institution
    Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
  • Volume
    2
  • fYear
    1999
  • fDate
    18-22 Oct. 1999
  • Firstpage
    1188
  • Abstract
    To overcome the state explosion problem, we proposed the path-based approach, representing the system as a set of concurrent paths. The concurrent paths can be generated automatically and verified independently, thus the complexity of verification is reduced and the problem is alleviated.
  • Keywords
    computational complexity; protocols; complexity; concurrent paths; path-based approach; protocol verification; state explosion problem; Binary decision diagrams; Boolean functions; Computer science; Data structures; Explosions; Performance analysis; Protocols; Safety; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Communications, 1999. APCC/OECC '99. Fifth Asia-Pacific Conference on ... and Fourth Optoelectronics and Communications Conference
  • Conference_Location
    Beijing, China
  • Print_ISBN
    7-5635-0402-8
  • Type

    conf

  • DOI
    10.1109/APCC.1999.820476
  • Filename
    820476
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3524124