Discussion of: DOE/NSF Workshop on Correctness in Scientific Computing

David:

Bottom of Page 5: "The overall approach taken to achieve end-to-end correctness will typically involve the use of uncertainty quantification (e.g., to account for noisy data), checks of agreement with real-world observations (e.g., pointwise validation against real-world measurements), and statistical methods (e.g., similar to those used to provide projections for hurricane trajectories)."