Formal verification by abstract interpretation

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We provide a rapid overview of the theoretical foundations and main applications of abstract interpretation and show that it currently provides scaling solutions to achieving assurance in mission- and safety-critical systems through verification by fully automatic, semantically sound and precise static program analysis.

Original languageEnglish (US)
Title of host publicationNASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings
Number of pages5
StatePublished - 2012
Event4th NASA Formal Methods Symposium, NFM 2012 - Norfolk, VA, United States
Duration: Apr 3 2012Apr 5 2012

Publication series

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


Other4th NASA Formal Methods Symposium, NFM 2012
Country/TerritoryUnited States
CityNorfolk, VA


  • Abstract interpretation
  • Abstraction
  • Aerospace
  • Certification
  • Cyber-physical system
  • Formal Method
  • Mission-critical system
  • Runtime error
  • Safety-critical system
  • Scalability
  • Soundness
  • Static Analysis
  • Validation
  • Verification

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Formal verification by abstract interpretation'. Together they form a unique fingerprint.

Cite this