Automatic verification by abstract interpretation (invited tutorial)

Research output: Contribution to journalArticle


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)
Pages (from-to)20-24
Number of pages5
JournalLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
StatePublished - Dec 1 2003

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