Formal verification, scientific code, and the epistemological heterogeneity of computational science
Fiche du document
- handle: 10670/1.bc0nv4
- hal: hal-03766964
- doi: 10.1017/psa.2022.78
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/doi/10.1017/psa.2022.78
info:eu-repo/semantics/OpenAccess
Mots-clés
Computational science Code Software Formal verification Scientific practices Epistemology of science Heterogeneity in science Good research practices StandardizationSujets proches
Natural science Sciences Science of scienceCiter ce document
Cyrille Imbert et al., « Formal verification, scientific code, and the epistemological heterogeneity of computational science », HAL-SHS : histoire, philosophie et sociologie des sciences et des techniques, ID : 10.1017/psa.2022.78
Métriques
Partage / Export
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.