• DocumentCode
    745550
  • Title

    Interactive State-Space Analysis of Concurrent Systems

  • Author

    Morgan, E. Timothy ; Razouk, Rami R.

  • Author_Institution
    Department of Information and Computer science, University of California
  • Issue
    10
  • fYear
    1987
  • Firstpage
    1080
  • Lastpage
    1091
  • Abstract
    The introduction of concurrency into programs has added to the complexity of the software design process. This is most evident in the design of communications protocols where concurrency is inherent to the behavior of the system. The complexity exhibited by such software systems makes more evident the need for computer-aided tools for automatically analyzing behavior.
  • Keywords
    Assertions; Petri net; communications protocols; computer-aided design; concurrent programs; correctness; reachability graph; software design; Application software; Computational modeling; Concurrent computing; Hardware; Mechanical factors; Petri nets; Protocols; Software design; Software systems; System recovery; Assertions; Petri net; communications protocols; computer-aided design; concurrent programs; correctness; reachability graph; software design;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.1987.232850
  • Filename
    1702148
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=745550