The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1987 vol.13)
pp: 1080-1091
E.T. Morgan , 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.
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, October 1987, doi:10.1109/TSE.1987.232850
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool