Formal verification, scientific code, and the epistemological heterogeneity of computational science - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Philosophy of Science Année : 2023

Formal verification, scientific code, and the epistemological heterogeneity of computational science

Résumé

Various errors can affect scientific code and detecting them is a central concern within computational science. Could formal verification methods, which are now available tools, be widely adopted to guarantee the general reliability of scientific code? After discussing their benefits and drawbacks, we claim that, absent significant changes as regards features like their user-friendliness and versatility, these methods are unlikely to be adopted throughout computational science, beyond certain specific contexts for which they are well-suited. This issue exemplifies the epistemological heterogeneity of computational science: profoundly different practices can be appropriate to meet the reliability challenge that rises for scientific code.
Fichier principal
Vignette du fichier
Imbert_Ardourel=Formal_verification_scientific_code_and_the_epistemological_heterogeneity_of_computational_science (1).pdf (237.27 Ko) Télécharger le fichier
Origine : Publication financée par une institution
Licence : CC BY - Paternité

Dates et versions

hal-03766964 , version 1 (01-09-2022)
hal-03766964 , version 2 (09-01-2024)

Identifiants

Citer

Cyrille Imbert, Vincent Ardourel. Formal verification, scientific code, and the epistemological heterogeneity of computational science. Philosophy of Science, 2023, 90 (2), pp.376 - 394. ⟨10.1017/psa.2022.78⟩. ⟨hal-03766964v2⟩
104 Consultations
94 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More