Abstract
We show that the precision of static abstract software checking algorithms can be enhanced by taking explicitly into account the abstractions that are involved in the design of the program model/abstract semantics. This is illustrated on reachability analysis and abstract testing.
| Original language | English (US) |
|---|---|
| Title of host publication | Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings |
| Editors | Kim Guldstrand Larsen, Ed Brinksma |
| Publisher | Springer Verlag |
| Pages | 37-56 |
| Number of pages | 20 |
| ISBN (Electronic) | 9783540439974 |
| State | Published - Jan 1 2002 |
| Event | 14th International Conference on Computer Aided Verification, CAV 2002 - Copenhagen, Denmark Duration: Jul 27 2002 → Jul 31 2002 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 2404 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Other
| Other | 14th International Conference on Computer Aided Verification, CAV 2002 |
|---|---|
| Country | Denmark |
| City | Copenhagen |
| Period | 7/27/02 → 7/31/02 |
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Fingerprint Dive into the research topics of 'On abstraction in software verification'. Together they form a unique fingerprint.
Cite this
Cousot, P., & Cousot, R. (2002). On abstraction in software verification. In K. G. Larsen, & E. Brinksma (Eds.), Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings (pp. 37-56). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2404). Springer Verlag.