Predicate abstraction for software verification
Authors:
Open Access
- 1 January 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (1) , 191-202
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Avoiding exponential explosion2001
- Frangipani1997
- 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 program1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977
- Implementation of an array bound checker1977
- Logical analysis of programsCommunications of the ACM, 1976
- The synthesis of loop predicatesCommunications of the ACM, 1974