Do there exist "frameworks" as to how computational scientific experiments claim validity?
Like "scientific method for computed science"?
Do there exist "frameworks" as to how computational scientific experiments claim validity?
Like "scientific method for computed science"?
There is a lot of research on techniques for verification and validation of codes that use numerical approximations to solve partial differential equations arising in fluid dynamics and other areas of engineering and science. The focus here is on verifying that the code solves the discretization of the problem correctly and that the discretization is doing an adequate job of approximating the PDE so that the resulting solution will be good enough for engineering use. See for example:
W. L. Oberkampf and C. J. Roy. Verification and Validation in Scientific Computing 1st Edition. Cambridge University Press, 2010.
P. J. Roache. Verification and Validation in Computational Science and Engineering. 1998.