B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne et al., A static analyzer for large safety-critical software. In: Programming Language Design and Implementation, pp.196-207, 2003.
URL : https://hal.archives-ouvertes.fr/hal-00128135

S. Blazy, A. Maronèze, and D. Pichardie, Formal Verification of a C Value Analysis Based on Abstract Interpretation, Static Analysis, 20th International Symposium, pp.324-344, 2013.
DOI : 10.1007/978-3-642-38856-9_18

URL : https://hal.archives-ouvertes.fr/hal-00812515

C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt et al., Reliable and precise WCET determination for a reallife processor, Embedded Software, First International Workshop, EMSOFT 2001, pp.469-485, 2001.

A. Fouilhé, D. Monniaux, and M. Périn, Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra, Static Analysis, 20th International Symposium (SAS 2013). LNCS, pp.345-365, 2013.
DOI : 10.1007/978-3-642-38856-9_19

P. Herms, C. Marché, and B. Monate, A Certified Multi-prover Verification Condition Generator, Verified Software: Theories, Tools, Experiments, pp.2-17, 2012.
DOI : 10.1007/3-540-48118-4_45

URL : https://hal.archives-ouvertes.fr/hal-00639977

G. Klein, J. Andronick, K. Elphinstone, G. Heiser, D. Cock et al., seL4, Communications of the ACM, vol.53, issue.6, pp.107-115, 2010.
DOI : 10.1145/1743546.1743574

A. J. Kornecki and J. Zalewski, The qualification of software development tools from the DO-178B certification perspective, CrossTalk, vol.19, issue.4, pp.19-22, 2006.

X. Leroy, Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009.
DOI : 10.1145/1538788.1538814

URL : https://hal.archives-ouvertes.fr/inria-00415861

X. Leroy, A Formally Verified Compiler Back-end, Journal of Automated Reasoning, vol.27, issue.1, pp.363-446, 2009.
DOI : 10.1007/s10817-009-9155-4

URL : https://hal.archives-ouvertes.fr/inria-00360768

S. Rideau and X. Leroy, Validating Register Allocation and Spilling, In: Compiler Construction LNCS, vol.6011, pp.224-243, 2010.
DOI : 10.1007/978-3-642-11970-5_13

URL : https://hal.archives-ouvertes.fr/inria-00529841

J. Souyris, V. Wiels, D. Delmas, and H. Delseny, Formal Verification of Avionics Software Products, FM 2009: Formal Methods, pp.532-546, 2009.
DOI : 10.1007/978-3-642-05089-3_34

J. Yang and C. Hawblitzel, Safe to the last instruction: automated verification of a type-safe operating system. In: Programming Language Design and Implementation, pp.99-110, 2010.

X. Yang, Y. Chen, E. Eide, and J. Regehr, Finding and understanding bugs in C compilers, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, pp.283-294, 2011.