The Community for Technology Leaders
Green Image
Issue No. 10 - October (1987 vol. 13)
ISSN: 0098-5589
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.
software design, Assertions, communications protocols, computer-aided design, concurrent programs, correctness, Petri net, reachability graph

R. Razouk and E. Morgan, "Interactive State-Space Analysis of Concurrent Systems," in IEEE Transactions on Software Engineering, vol. 13, no. , pp. 1080-1091, 1987.
93 ms
(Ver 3.3 (11022016))