Verification by abstract interpretation

Research output: Contribution to journalArticle


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)
StatePublished - Dec 1 2004


ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this