Experiments in automated analysis of concurrent software systems

1 November 1989

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes

Vol. 14 (8) , 124-130
https://doi.org/10.1145/75309.75323

Abstract

It is unlikely that any single approach to analysis of concurrent software systems will meet all the needs of software developers throughout the development process. Thus, experimental evaluation of different analysis techniques is needed to determine their relative strengths and practical limitations. Such evaluation requires automated tools implementing the analysis techniques. This paper describes a prototype toolset automating the constrained expression approach to the analysis of concurrent software systems. The results of preliminary experiments with the toolset are reported and the implications of these experiments are discussed.

Keywords

This publication has 11 references indexed in Scilit:

The specification of process synchronization by path expressions
Published by Springer Nature ,2005
Foundations for the Arcadia environment architecture
Published by Association for Computing Machinery (ACM) ,1988
Constrained expressions: toward broad applicability of analysis methods for distributed software systems
ACM Transactions on Programming Languages and Systems, 1988
Describing and analyzing distributed software system designs
ACM Transactions on Programming Languages and Systems, 1985
Debugging Ada Tasking Programs
IEEE Software, 1985
An approach to software system behavior description
Computer Languages, 1979
COSY ? a system specification language based on paths and processes
Acta Informatica, 1979
Synchronization of communicating processes
Communications of the ACM, 1972
A tree-search algorithm for mixed integer programming problems
The Computer Journal, 1965
An Automatic Method of Solving Discrete Programming Problems
Econometrica, 1960