Verification by abstract interpretation

Research output: Contribution to journalArticle

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.

Original languageEnglish (US)
Pages (from-to)243-268
Number of pages26
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2772
StatePublished - 2004

Fingerprint

Abstract Interpretation
Computer Systems
Computer systems
Specifications
Predicate
Specification
Abstraction

ASJC Scopus subject areas

  • Computer Science(all)
  • Biochemistry, Genetics and Molecular Biology(all)
  • Theoretical Computer Science

Cite this

@article{c974cf9d49974bd68ab50220f745cb3e,
title = "Verification by abstract interpretation",
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.",
author = "Patrick Cousot",
year = "2004",
language = "English (US)",
volume = "2772",
pages = "243--268",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Verification by abstract interpretation

AU - Cousot, Patrick

PY - 2004

Y1 - 2004

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

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

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

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

M3 - Article

AN - SCOPUS:35248826567

VL - 2772

SP - 243

EP - 268

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -