D. August, UNISIM: An Open Simulation Environment and Library for Complex Architecture Design and Collaborative Development, IEEE Computer Architecture Letters, vol.6, issue.2, pp.45-48, 2007.
DOI : 10.1109/L-CA.2007.12

F. Bellard, QEMU, a fast and portable dynamic translator, ATEC '05: Proceedings of the annual conference on USENIX Annual Technical Conference, pp.41-41, 2005.

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development . Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

F. Blanqui, C. Helmstetter, V. Joloboff, J. Monin, and X. Shi, Designing a CPU model: from a pseudo-formal document to fast code, Proceedings of the 3rd Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00546228

C. Development and T. , The Coq Reference Manual, Version 8.2. INRIA Rocquencourt , France, 2008.

L. Correnson, P. Cuoq, A. Puccetti, and J. Signoles, Frama-C User Manual, Release Boron-20100401, 2010.

A. C. Fox and M. O. Myreen, A Trustworthy Monadic Formalization of the ARMv7 Instruction Set Architecture, ITP, pp.243-258, 2010.
DOI : 10.1007/978-3-642-14052-5_18

C. Helmstetter, V. Joloboff, and H. Xiao, SimSoC: A full system simulation software for embedded systems, 2009 IEEE International Workshop on Open-source Software for Scientific Computation (OSSC), p.9, 2009.
DOI : 10.1109/OSSC.2009.5416870
URL : https://hal.archives-ouvertes.fr/inria-00435247

W. A. Hunt and J. , FM8501: A Verified Microprocessor, volume 795 of LNAI, 1994.

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 and S. Blazy, Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations, Journal of Automated Reasoning, vol.17, issue.5???6, pp.1-31, 2008.
DOI : 10.1007/s10817-008-9099-0
URL : https://hal.archives-ouvertes.fr/inria-00289542

P. S. Magnusson, Simics: A full system simulation platform, Computer, vol.35, issue.2, pp.50-58, 2002.
DOI : 10.1109/2.982916

S. and P. Jones, Tackling the Awkward Squad: monadic input/output, concurrency , exceptions, and foreign-language calls in Haskell, Online lecture notes, 2010.