Integrated concurrency analysis in a software development enviornment
- 1 November 1989
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 14 (8), 200-209
- https://doi.org/10.1145/75309.75331
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- TEAM: a support environment for testing, evaluation, and analysisPublished by Association for Computing Machinery (ACM) ,1988
- Pgraphite: an experiment in persistent typed object managementPublished by Association for Computing Machinery (ACM) ,1988
- Foundations for the Arcadia environment architecturePublished by Association for Computing Machinery (ACM) ,1988
- Constrained expressions: toward broad applicability of analysis methods for distributed software systemsACM Transactions on Programming Languages and Systems, 1988
- Control predicates are better than dummy variables for reasoning about program controlACM Transactions on Programming Languages and Systems, 1988
- State machines and assertions: An integrated approach to modeling and verification of distributed systemsScience of Computer Programming, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Complexity of analyzing the synchronization structure of concurrent programsActa Informatica, 1983
- An axiomatic proof technique for parallel programs IActa Informatica, 1976