J. Baugh and A. Altuntas, Formal methods and finite element analysis of hurricane storm surge: A case study in software verification, Science of Computer Programming, vol.158, issue.15, pp.100-121, 2018.

A. Borälv and G. Stalmarck, Formal Verification in Railways, Industrial-Strength Formal Methods in Practice, 1999.

M. Bozzano, H. Bruintjes, A. Cimatti, J. Katoen, T. Noll et al., Formal Methods for Aerospace Systems -Achievements and Challenges, in Cyber-Physical System Design from an Architecture Analysis Viewpoint, pp.133-159, 2017.

R. W. Butler, What is Formal Methods?, Last Updated: April 10, 2001.

E. Clarke, The Birth of Model Checking, 25 Years of Model Checking, Lecture Notes in Computer Science, 2008.

M. Dowson, The ARIANE 5 Software Failure, Software Engineering Notes, vol.22, 1997.

N. Fillion, The Vindication of Computer Simulations, Mathematics as a tool, pp.137-156, 2017.

R. Frigg and J. Reiss, The Philosophy of Simulation: Hot New Issues or Same Old Stew?, Synthese, vol.169, issue.3, pp.593-613, 2009.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2012.

J. Jebeile and A. Barberousse, Empirical agreement in model validation, Studies in History and Philosophy of Science Part A, vol.56, pp.168-174, 2016.
URL : https://hal.archives-ouvertes.fr/hal-02105519

A. K. Karna, Y. Chen, H. Yu, H. Zhong, and J. Zhao, The role of model checking in software engineering, Frontiers of Computer Science, vol.12, issue.4, pp.642-668, 2018.

J. Lenhard and E. Winsberg, Holism, Entrenchment, and the Future of Climate Model Pluralism, Studies in History and Philosophy of Science Part B, vol.41, issue.3, pp.253-262, 2010.

J. Lenhard, Holism, or the Erosion of Modularity -a Methodological Challenge for Validation, 2018.

J. L. Lions, Ariane 5 Flight 501 Failure, Ariane 501 Inquiry Board Report, p.4, 1996.

M. Morrison, Values and uncertainty in simulation models, Erkenntnis, vol.79, issue.S5, pp.939-959, 2014.

M. Morrison, Reconstructing Reality: Models, Mathematics, and Simulations, p.16, 2015.

W. L. Oberkampf and T. G. Trucano, Verification and Validation in Computational Fluid Dynamics. Rapport Sandia, pp.2002-0529, 2002.

W. L. Oberkampf, T. G. Trucano, and C. Hirsch, Verification, validation and predictive capacity in computational engineering and physics, Applied Mechanics Review, vol.57, issue.5, p.345, 2002.

N. Oreskes, K. Shrader-frechette, and K. Belitz, Verification, Validation, and Confirmation of Numerical Models in the Earth Sciences, Science, vol.263, issue.5147, pp.641-646, 1994.

J. J. Padilla, S. Y. Diallo, C. J. Lynch, and R. Gore, Observations on the practice and profession of modeling and simulation: A survey approach, Simulation, vol.94, issue.6, pp.493-506, 2017.

J. Rushby, Formal Methods and their Role in the Certification of Critical Systems, 1995.

J. Rushby, Automated Formal Methods Enter the Mainstream, Communications of the Computer Society of India, Archived in Journal of Universal Computer Science, vol.31, issue.2, pp.650-660, 2007.

R. Skeel, , vol.25, 1992.

L. N. Trefethen, Finite Difference and Spectral Methods for Ordinary and Partial Differential Equations, unpublished text, 1994.

V. Wiels, R. Delmas, D. Doose, P. L. Garoche, and J. Cazin, Formal Verification of Critical Aerospace Software, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01184099

E. Winsberg, Computer Simulation and the Philosophy of Science, Philosophy Compass, vol.4, pp.835-845, 2009.

E. Winsberg, Science in the Age of Computer Simulation, 2010.

E. Winsberg, Philosophy and Climate Science, 2018.

J. Woodcock, P. G. Larsen, J. Bicarregui, and . Fitzgerald, Formal Methods: Practice and Experience, ACM Computing Surveys, vol.41, issue.4, pp.1-36, 2009.