A gentle introduction to formal verification of computer systems by abstract interpretation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2010

A gentle introduction to formal verification of computer systems by abstract interpretation

Abstract

We introduce and illustrate basic notions of abstract interpretation theory and its applications by relying on the readers general scientific culture and basic knowledge of computer programming.

Domains

Programming Languages [cs.PL]
Fichier principal
Vignette du fichier
CousotCousot-Marktoberdorf-2009.pdf (11.3 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Patrick Cousot  : Connect in order to contact the contributor

https://inria.hal.science/inria-00543886

Submitted on : Monday, December 6, 2010-6:17:39 PM

Last modification on : Friday, April 19, 2024-4:18:55 PM

Long-term archiving on: Monday, March 7, 2011-3:10:20 AM

Download

Dates and versions

inria-00543886 , version 1 (06-12-2010)

Identifiers

  • HAL Id : inria-00543886 , version 1

Cite

Patrick Cousot, Radhia Cousot. A gentle introduction to formal verification of computer systems by abstract interpretation. J.~Esparza and O.~Grumberg and M.~Broy. Logics and Languages for Reliability and Security, IOS Press, pp.1-29, 2010, NATO Science Series III: Computer and Systems Sciences. ⟨inria-00543886⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-PARIS CNRS INRIA INRIA2 PSL
216 View
339 Download

Share

Gmail Facebook X LinkedIn More