The verification grand challenge and abstract interpretation

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

Abstract

Interpretation is a theory of approximation of mathematical structures, in particular those involved in the semantic models of computer systems [4,10,11]. Abstract interpretation can be applied to the systematic construction of methods and effective algorithms to approximate undecidable or very complex problems in computer science. The scope of application is rather large e.g. from type inference [5], model-checking [13], program transformation [14], watermarking [15] to context-free grammar parser generation [16].

Original languageEnglish (US)
Title of host publicationVerified Software
Subtitle of host publicationTheories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions
Pages189-201
Number of pages13
DOIs
StatePublished - 2008
Event1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005 - Zurich, Switzerland
Duration: Oct 10 2005Oct 13 2005

Publication series

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

Other

Other1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005
CountrySwitzerland
CityZurich
Period10/10/0510/13/05

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'The verification grand challenge and abstract interpretation'. Together they form a unique fingerprint.

  • Cite this

    Cousot, P. (2008). The verification grand challenge and abstract interpretation. In Verified Software: Theories, Tools, Experiments - First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Revised Selected Papers and Discussions (pp. 189-201). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4171 LNCS). https://doi.org/10.1007/978-3-540-69149-5_21