• DocumentCode
    2200881
  • Title

    Verifying SDL programs using Petri nets

  • Author

    Husberg, Nisse

  • Author_Institution
    Dept. of Comput. Sci., Helsinki Univ. of Technol., Espoo, Finland
  • Volume
    1
  • fYear
    1998
  • fDate
    11-14 Oct 1998
  • Firstpage
    208
  • Abstract
    The use of an SDL front-end Emma generating models for the PROD Predicate/Transition net reachability analyser is presented and the practical problems in industrial applications are discussed. The new modular analyser Maria is also presented.
  • Keywords
    Petri nets; program verification; reachability analysis; specification languages; Emma; Maria; PROD Predicate/Transition net reachability analyser; Petri nets; SDL front-end; SDL programs verification; industrial applications; modular analyser; Application software; Asynchronous communication; Computer industry; Computer science; Digital systems; Laboratories; Petri nets; Telecommunications;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
  • ISSN
    1062-922X
  • Print_ISBN
    0-7803-4778-1
  • Type

    conf

  • DOI
    10.1109/ICSMC.1998.725410
  • Filename
    725410
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2200881