Verification by abstract interpretation, Soundness and abstract induction

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

Abstract

Automatic program verification tools have to cope with programming language and machine semantics, undecidability, and mathematical induction, and so are all complex and imperfect. The ins and outs of automatic program verification will be discussed in light of the theory and practice of abstract interpretation [1–3].

Original languageEnglish (US)
Title of host publicationLogic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Revised Selected Papers
EditorsMoreno Falaschi
PublisherSpringer Verlag
ISBN (Print)9783319274355
StatePublished - 2015
Event25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015 - Siena, Italy
Duration: Jul 13 2015Jul 15 2015

Publication series

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

Other

Other25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015
CountryItaly
CitySiena
Period7/13/157/15/15

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Verification by abstract interpretation, Soundness and abstract induction'. Together they form a unique fingerprint.

Cite this