The octagon abstract domain
- 13 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 310-319
- https://doi.org/10.1109/wcre.2001.957836
Abstract
No abstract availableAll Related Versions
This publication has 10 references indexed in Scilit:
- Efficient verification of real-time systems: compact data structure and state-space reductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Model checking timed automataPublished by Springer Nature ,1998
- Interprocedural may-alias analysis for pointersPublished by Association for Computing Machinery (ACM) ,1994
- Abstract debugging of higher-order imperative languagesPublished by Association for Computing Machinery (ACM) ,1993
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Deciding Linear Inequalities by Computing Loop ResiduesJournal of the ACM, 1981
- Systematic design of program analysis frameworksPublished by Association for Computing Machinery (ACM) ,1979
- 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
- A new solution of Dijkstra's concurrent programming problemCommunications of the ACM, 1974