1
Publications
18
Citations
1
H-Index
2011
Active since
Affiliations
Denis Favre-Félix is an author at Institut National Polytechnique de Toulouse specializing in computer engineering, program analysis, and formal methods.
Top concepts
CompilersEngineeringVerificationFlight ControlFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisSpace Engineering
Publications per year
2011–2011
1
1
Towards Formally Verified Optimizing Compilation in Flight Control Software
Ricardo Bedin França, Denis Favre-Félix, Xavier Leroy et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 18 citations · Full text
Engineering, Hardware Verification Language, Such Critical Software +22
Rows per page
1–1 of 1