Formal Verification, Scientific Code, and the Epistemological Heterogeneity of Computational Science.
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,...
| Publicado en: | Philosophy of Science Vol. 90; no. 2; pp. 376 - 395 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Apr2023
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |