Patrick Cousot<bR> Abstract Interpretation: From 0, 1, To ∞

Patrick Cousot.
Abstract Interpretation: From 0, 1, To ∞.
In V. Arceri, A. Cortesi, P. Ferrara, and M. Olliaro (Eds.): Challenges of Software Verification, ISRL 238, Springer Nature Singapore, March 2023,
Keywords: Abstract interpretation, Abstraction, Formal Methods, Galois connection, Semantics, Software, Static Analysis, Verification.

Abstract: This paper starts from zero knowledge about abstract interpretation and provides one rapid introduction for the untaught, goes rapidly over remarkable achievements, and widen to infinitely hard problems to be solved by the savant.

Paper: PDF (170 KB)

Bibliographic reference:

@InProceedings{Cousot-CSV2023,
  author    = "Patrick Cousot",
  title     = "Abstract Interpretation: From 0, 1, To \infty",
  booktitle    = "Challenges of Software Verification",
  year         = "2023",
  editor       = "Vincenzo Arceri and Agostino Cortesi and Pietro Ferrara and Martina Olliaro",
  volume       = "238",
  series       = "Intelligent Systems Reference Library (ISRL)",
  pages        = "1--19",
  month        = mar,
  publisher    = "Springer Nature Singapore",
  note         = "\url{https://link.springer.com/book/9789811996009}",
}

copyright notice
Last modified: Monday, 19-Dec-2022 18:41:01 EST