Integrated concurrency analysis in a software development enviornment
Mark S. Young, Richard Taylor, K. Forester, D. Brodbeck · ACM SIGSOFT Software Engineering Notes · 1989
The inherent difficulties of analyzing concurrent software make reliance on a single technique or a single monolithic tool unsatisfactory. A better approach is to apply multiple analysis and verification techniques by coordinating the activities of a variety of small tool components. We describe how this approach has shaped the design of a set of tool components to support concurrency analysis in the Arcadia-1 software development environment. Implementation and experience with key components is described.