This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
October 1987 (vol. 13 no. 10)
pp. 1080-1091
E.T. Morgan, Department of Information and Computer science, University of California
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.
Index Terms:
software design, Assertions, communications protocols, computer-aided design, concurrent programs, correctness, Petri net, reachability graph
Citation:
E.T. Morgan, R.R. Razouk, "Interactive State-Space Analysis of Concurrent Systems," IEEE Transactions on Software Engineering, vol. 13, no. 10, pp. 1080-1091, Oct. 1987, doi:10.1109/TSE.1987.232850
Usage of this product signifies your acceptance of the Terms of Use.