Verification, validation, UQ

V&V ensures 'solving equations right' (code) and 'solving right equations' (physics); UQ quantifies input uncertainty propagation.