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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=164158594&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 164158594 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00318248 PSC jtl: Philosophy of Science issn: 00318248 maglogo: N pubinfo: dt: Apr2023 vid: 90 iid: 2 pid: 15979 pub: Cambridge University Press artinfo: ui: 164158594 10.1017/psa.2022.78 ppf: 376 ppct: 19 formats: fmt: – @attributes: type: T – @attributes: type: P size: 206KB tig: atl: Formal Verification, Scientific Code, and the Epistemological Heterogeneity of Computational Science. aug: au: Imbert, Cyrille Ardourel, Vincent affil: Archives Poincaré, AHP-PReST, CNRS—Université de Lorraine, Nancy BP 454. F-54001, France IHPST, CNRS—Université Paris 1 Panthéon-Sorbonne, France su: Heterogeneity Formal verification Computer science Theory of knowledge sug: subj: Heterogeneity Formal verification Computer science Theory of knowledge ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Philosophy of Science is the property of Cambridge University Press and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Philosophy of Science holder: Cambridge University Press dt: @attributes: year: 2023 holdings: @attributes: islocal: N |
|---|