Verification and validation in scientific computing code

MaRDI QIDQ3014314zbMATH OpenFDO

Authors Ruili Wang, Zhong Lin, Guoxing Yuan

Publication date 19 July 2011

zbMATH Keywords

programmingscientific computingverification and validation

Mathematics Subject Classification ID

Packaged methods for numerical algorithms (65Y15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Verification and validation in scientific computing.
• Review of code and solution verification procedures for computational simulation
• scientific article; zbMATH DE number 1845080
• Some verification problems with possible transport applications
• Verification and validation in computational engineering and science: basic concepts

Cited in

(12)

• On the role of hierarchic spaces and models in verification and validation
• FEVS: a functional equivalence verification suite for high-performance scientific computing
• Robust verification of stochastic simulation codes
• Richardson extrapolation-based verification method of scientific calculation program without the oracles: a case study
• Verification and validation in computational engineering and science: basic concepts
• Verification and validation in scientific computing.
• Some verification problems with possible transport applications
• A multilevel method for solution verification
• Verification and validation
• An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation
• A comprehensive framework for verification, validation, and uncertainty quantification in scientific computing
• Scientific computing with automatic result verification

This page was built for publication: Verification and validation in scientific computing code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3014314)