Verifying safety properties using separation and heterogeneous abstractions
- 9 June 2004
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 39 (6) , 25-34
- https://doi.org/10.1145/996841.996846
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Finite Differencing of Logical Formulas for Static AnalysisPublished by Springer Nature ,2003
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- ESPPublished by Association for Computing Machinery (ACM) ,2002
- Deriving specialized program analyses for certifying component-client conformancePublished by Association for Computing Machinery (ACM) ,2002
- Flow-sensitive type qualifiersPublished by Association for Computing Machinery (ACM) ,2002
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Enforcing high-level protocols in low-level softwarePublished by Association for Computing Machinery (ACM) ,2001
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Typestate: A programming language concept for enhancing software reliabilityIEEE Transactions on Software Engineering, 1986