Automatic verification by abstract interpretation (invited tutorial)

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

We discuss the use of abstract interpretation in the context of automatic program verification requiring precise abstractions. We compare entirely manual versus user-guided abstractions ranging from program-specific abstractions including predicate abstraction to the systematic design of abstract domains and iteration strategies.

Original languageEnglish (US)
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
EditorsLenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay
PublisherSpringer Verlag
Pages20-24
Number of pages5
ISBN (Print)9783540003489
DOIs
StatePublished - 2003

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2575
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Automatic verification by abstract interpretation (invited tutorial)'. Together they form a unique fingerprint.

Cite this