Putting static analysis to work for verification
- 1 August 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 25 (5) , 26-38
- https://doi.org/10.1145/347324.348031
Abstract
No abstract availableKeywords
This publication has 22 references indexed in Scilit:
- Checking Cleanness in Linked ListsPublished by Springer Nature ,2000
- TVLA: A System for Implementing Static AnalysesPublished by Springer Nature ,2000
- Using shape analysis to reduce finite-state models of concurrent Java programsACM Transactions on Software Engineering and Methodology, 2000
- Data flow analysis for verifying properties of concurrent programsPublished by Association for Computing Machinery (ACM) ,1994
- Interprocedural static analysis of sequencing constraintsACM Transactions on Software Engineering and Methodology, 1992
- Cecil: a sequencing constraint language for automatic static analysis generationIEEE Transactions on Software Engineering, 1990
- Assignment and Linked Data StructuresPublished by Springer Nature ,1982
- Recursive data structuresInternational Journal of Parallel Programming, 1975
- The synthesis of loop predicatesCommunications of the ACM, 1974
- An axiomatic basis for computer programmingCommunications of the ACM, 1969