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
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;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1987.232850
