Comparing Techniques for Certified Static Analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2009

Comparing Techniques for Certified Static Analysis

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00538772 , version 1

Cite

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⟩
175 View
60 Download

Share

Gmail Facebook X LinkedIn More