Issue No. 10 - October (1987 vol. 13)
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.
software design, Assertions, communications protocols, computer-aided design, concurrent programs, correctness, Petri net, reachability graph
E.T. Morgan, R.R. Razouk, "Interactive State-Space Analysis of Concurrent Systems", IEEE Transactions on Software Engineering, vol. 13, no. , pp. 1080-1091, October 1987, doi:10.1109/TSE.1987.232850