Comparing Techniques for Certified Static Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Comparing Techniques for Certified Static Analysis

Résumé

A certified static analysis is an analysis whose semantic validity has been formally proved correct with a proof assistant. The recent increasing interest in using proof assistants for mechanizing programming language metatheory has given rise to several approaches for certification of static analysis. We propose a panorama of these techniques and compare their respective strengths and weaknesses.
Fichier principal
Vignette du fichier
main.pdf (85.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00538772 , version 1 (23-11-2010)

Identifiants

  • HAL Id : inria-00538772 , version 1

Citer

David Cachera, David Pichardie. Comparing Techniques for Certified Static Analysis. The NASA Formal Methods Symposium (NFM), 2009, Moffett Field, United States. pp.111-115. ⟨inria-00538772⟩
182 Consultations
67 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More