Predicate abstraction for software verification
Top Cited Papers
- 1 January 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (1) , 191-202
- https://doi.org/10.1145/503272.503291
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Avoiding exponential explosionPublished by Association for Computing Machinery (ACM) ,2001
- FrangipaniPublished by Association for Computing Machinery (ACM) ,1997
- Automatic generation of invariants and intermediate assertionsTheoretical Computer Science, 1997
- A generalization of Dijkstra's calculusACM Transactions on Programming Languages and Systems, 1989
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Implementation of an array bound checkerPublished by Association for Computing Machinery (ACM) ,1977
- Logical analysis of programsCommunications of the ACM, 1976
- The synthesis of loop predicatesCommunications of the ACM, 1974