Data flow analysis for verifying properties of concurrent programs
- 1 December 1994
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 19 (5) , 62-75
- https://doi.org/10.1145/195274.195295
Abstract
No abstract availableThis publication has 17 references indexed in Scilit:
- The concurrency workbenchACM Transactions on Programming Languages and Systems, 1993
- Interprocedural static analysis of sequencing constraintsACM Transactions on Software Engineering and Methodology, 1992
- Automated analysis of concurrent systems with the constrained expression toolsetIEEE Transactions on Software Engineering, 1991
- Cecil: a sequencing constraint language for automatic static analysis generationIEEE Transactions on Software Engineering, 1990
- Properties of data flow frameworksActa Informatica, 1990
- Design and implementation of a Petri net based toolkit for Ada tasking analysisIEEE Transactions on Parallel and Distributed Systems, 1990
- Detection of Ada static deadlocks using Petri net invariantsIEEE Transactions on Software Engineering, 1989
- An improved protocol reachability analysis techniqueSoftware: Practice and Experience, 1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Modelling concurrent processesProceedings of Symposia in Applied Mathematics, 1985