NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Comparing Techniques for Certified Static AnalysisA 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.
Document ID
20100024479
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Cachera, David (Institut de Recherche en Informatique et Systemes Aleatoires Rennes, France)
Pichardie, David (Institut National de Recherche d'Informatique et d'Automatique Rennes, France)
Date Acquired
August 24, 2013
Publication Date
April 1, 2009
Publication Information
Publication: Proceedings of the First NASA Formal Methods Symposium
Subject Category
Mathematical And Computer Sciences (General)
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

IDRelationTitle20100024454Collected WorksProceedings of the First NASA Formal Methods Symposium
No Preview Available