On abstraction in software verification

Patrick Cousot; Radhia Cousot

doi:10.1007/3-540-45657-0_3

On abstraction in software verification

Patrick Cousot, Radhia Cousot

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	Ed Brinksma, Kim Guldstrand Larsen
Publisher	Springer Verlag
Pages	37-56
Number of pages	20
ISBN (Electronic)	9783540439974
DOIs	https://doi.org/10.1007/3-540-45657-0_3
State	Published - 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/Territory	Denmark
City	Copenhagen
Period	7/27/02 → 7/31/02

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-45657-0_3

Cite this

Cousot, P., & Cousot, R. (2002). On abstraction in software verification. In E. Brinksma, & K. G. Larsen (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. https://doi.org/10.1007/3-540-45657-0_3

On abstraction in software verification. / Cousot, Patrick; Cousot, Radhia.
Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. ed. / Ed Brinksma; Kim Guldstrand Larsen. Springer Verlag, 2002. p. 37-56 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2404).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Cousot, P & Cousot, R 2002, On abstraction in software verification. in E Brinksma & KG Larsen (eds), Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2404, Springer Verlag, pp. 37-56, 14th International Conference on Computer Aided Verification, CAV 2002, Copenhagen, Denmark, 7/27/02. https://doi.org/10.1007/3-540-45657-0_3

Cousot P, Cousot R. On abstraction in software verification. In Brinksma E, Larsen KG, editors, Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. Springer Verlag. 2002. p. 37-56. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45657-0_3

Cousot, Patrick ; Cousot, Radhia. / On abstraction in software verification. Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings. editor / Ed Brinksma ; Kim Guldstrand Larsen. Springer Verlag, 2002. pp. 37-56 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{ada51056383342dfa8b78f0cca240641,

title = "On abstraction in software verification",

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.",

author = "Patrick Cousot and Radhia Cousot",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 14th International Conference on Computer Aided Verification, CAV 2002 ; Conference date: 27-07-2002 Through 31-07-2002",

year = "2002",

doi = "10.1007/3-540-45657-0_3",

language = "English (US)",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "37--56",

editor = "Ed Brinksma and Larsen, {Kim Guldstrand}",

booktitle = "Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings",

}

TY - GEN

T1 - On abstraction in software verification

AU - Cousot, Patrick

AU - Cousot, Radhia

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2002.

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84937570889&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84937570889&partnerID=8YFLogxK

U2 - 10.1007/3-540-45657-0_3

DO - 10.1007/3-540-45657-0_3

M3 - Conference contribution

AN - SCOPUS:84937570889

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 37

EP - 56

BT - Computer Aided Verification - 14th International Conference, CAV 2002, Proceedings

A2 - Brinksma, Ed

A2 - Larsen, Kim Guldstrand

PB - Springer Verlag

T2 - 14th International Conference on Computer Aided Verification, CAV 2002

Y2 - 27 July 2002 through 31 July 2002

ER -

On abstraction in software verification

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this