Skip to Main content Skip to Navigation
Journal articles

Verification and Validation of Simulations Against Holism

Abstract : (100 words) It has been argued that the Duhem problem is renewed with computational models since model assumptions having a representational aim and computational assumptions cannot be tested in isolation. In particular, while the Verification & Validation methodology is supposed to prevent such holism, Winsberg (2009, 2010) argues that verification and validation cannot be separated in practice. Morrison (2015) replies that Winsberg overstates the entanglement between the steps. The paper aims at arbitrating these two positions, by stressing their respective validity in relation to domains of application. It importantly argues for an increasing use of formal methods in verification, that makes disentanglement possible.
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02105907
Contributor : Julie Jebeile <>
Submitted on : Tuesday, April 23, 2019 - 12:54:17 PM
Last modification on : Friday, March 5, 2021 - 3:25:48 AM

File

Jebeile-Ardourel_2019_Verifica...
Files produced by the author(s)

Identifiers

Collections

Citation

Julie Jebeile, Vincent Ardourel. Verification and Validation of Simulations Against Holism. Minds and Machines, Springer Verlag, 2019, ⟨10.1007/s11023-019-09493-8⟩. ⟨hal-02105907⟩

Share

Metrics

Record views

158

Files downloads

438