• DocumentCode
    3783706
  • Title

    Model checking approach for communication procedures validation

  • Author

    B. Blaskovic;P. Knezevic;M. Randic

  • Author_Institution
    Fac. of Electr. Eng. & Comput., Zagreb Univ., Croatia
  • Volume
    2
  • fYear
    2001
  • fDate
    6/23/1905 12:00:00 AM
  • Firstpage
    532
  • Abstract
    Quality assurance is an important part of communicating systems development. In order to find errors communicating procedures are analysed as early as possible, during the requirements or specification phase. This paper discuss validation of communicating procedures. Special attention is exercised on extraction of the data from real system descriptions through model extraction. Examples are given.
  • Keywords
    "Data mining","Logic","Filtering","Quality assurance","Protocols","System recovery","Data structures","Automata","Reachability analysis","State-space methods"
  • Publisher
    ieee
  • Conference_Titel
    EUROCON´2001, Trends in Communications, International Conference on.
  • Print_ISBN
    0-7803-6490-2
  • Type

    conf

  • DOI
    10.1109/EURCON.2001.938178
  • Filename
    938178
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3783706