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

Patrick Cousot 1, 2 Radhia Cousot 1, 2
2 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
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.
Type de document :
Chapitre d'ouvrage
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
Liste complète des métadonnées

Littérature citée [54 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00543886
Contributeur : Patrick Cousot <>
Soumis le : lundi 6 décembre 2010 - 18:17:39
Dernière modification le : vendredi 25 mai 2018 - 12:02:05
Document(s) archivé(s) le : lundi 7 mars 2011 - 03:10:20

Fichier

CousotCousot-Marktoberdorf-200...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00543886, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

278

Téléchargements de fichiers

2862