Verification by Abstract Interpretation
The work
| Authors | Patrick Cousot |
|---|---|
| Editors | |
| Type | incollection |
| Year | 2003 |
| Citekey | cousot2003verification |
Where it appeared
| Published in | Verification: Theory and Practice, Essays Dedicated to Zohar Manna |
|---|---|
| Publisher | Springer Science+Business Media |
| Series | Lecture Notes in Computer Science |
| Pages | 243--268 |
Identifiers
| DOI | 10.1007/978-3-540-39910-0_11 |
|---|---|
| OpenAlex | W1503701626 |
Access
| Landing page | https://doi.org/10.1007/978-3-540-39910-0_11 |
|---|---|
| Free full text | https://www.di.ens.fr/~cousot/publications.www/CousotP_Zohar-Manna-A4.pdf |
Related
| Distinct from | burch1992symbolic |
|---|---|
| Distinct from | cousot1977abstract |
| Distinct from | law2026mechanized |
| Distinct from | oulkaid2025modeles |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
Abstract interpretation theory formalizes the idea of abstraction of mathematical structures, in particular those involved in the specification of properties and proof methods of computer systems. Verification by abstract interpretation is illustrated on the particular cases of predicate abstraction, which is revisited to handle infinitary abstractions, and on the new parametric predicate abstraction.
A copy is held
pdf, 365.1 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-09-16 18:22 UTC |
| Approved by | a person 2026-10-02 10:00 UTC |
Filed under
Cite it as
@incollection{cousot2003verification,
title = {Verification by Abstract Interpretation},
author = {Patrick Cousot},
year = {2003},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna},
publisher = {Springer Science+Business Media},
series = {Lecture Notes in Computer Science},
pages = {243--268},
doi = {10.1007/978-3-540-39910-0_11},
}
This record lives at https://refs.drheap.org/cousot2003verification/ and will keep doing so.