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 [18, 19, 22].

Original languageEnglish (US)
Title of host publicationProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
PublisherAssociation for Computing Machinery, Inc
Pages1-4
Number of pages4
ISBN (Print)9781450335164
DOIs
StatePublished - Jul 14 2015
Event17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 - Siena, Italy
Duration: Jul 14 2015Jul 16 2015

Other

Other17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015
CountryItaly
CitySiena
Period7/14/157/16/15

Fingerprint

Computer programming languages
Semantics

ASJC Scopus subject areas

  • Computer Science Applications
  • Software
  • Computational Theory and Mathematics

Cite this

Cousot, P. (2015). Verification by abstract interpretation, soundness and abstract induction. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015 (pp. 1-4). Association for Computing Machinery, Inc. https://doi.org/10.1145/2790449.2790451

Verification by abstract interpretation, soundness and abstract induction. / Cousot, Patrick.

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, 2015. p. 1-4.

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

Cousot, P 2015, Verification by abstract interpretation, soundness and abstract induction. in Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, pp. 1-4, 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, Siena, Italy, 7/14/15. https://doi.org/10.1145/2790449.2790451
Cousot P. Verification by abstract interpretation, soundness and abstract induction. In Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc. 2015. p. 1-4 https://doi.org/10.1145/2790449.2790451
Cousot, Patrick. / Verification by abstract interpretation, soundness and abstract induction. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, 2015. pp. 1-4
@inproceedings{fd517b19c491470db05fa6fab737861d,
title = "Verification by abstract interpretation, soundness and abstract induction",
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 [18, 19, 22].",
author = "Patrick Cousot",
year = "2015",
month = "7",
day = "14",
doi = "10.1145/2790449.2790451",
language = "English (US)",
isbn = "9781450335164",
pages = "1--4",
booktitle = "Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Verification by abstract interpretation, soundness and abstract induction

AU - Cousot, Patrick

PY - 2015/7/14

Y1 - 2015/7/14

N2 - 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 [18, 19, 22].

AB - 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 [18, 19, 22].

UR - http://www.scopus.com/inward/record.url?scp=84959928897&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84959928897&partnerID=8YFLogxK

U2 - 10.1145/2790449.2790451

DO - 10.1145/2790449.2790451

M3 - Conference contribution

SN - 9781450335164

SP - 1

EP - 4

BT - Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015

PB - Association for Computing Machinery, Inc

ER -