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


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)

Dates and versions

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


  • HAL Id : inria-00538772 , version 1


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


Gmail Facebook X LinkedIn More