V&V

Validation

The v.doc text from the Sandia folder

Antonis' dissertation

Keith Worden's stuff

Verification

• University of Utah CCMSC's UQ/V&V page http://ccmsc.utah.edu/research/v-v-uq.html

• Siegfried Rump's INTLAB website http://www.ti3.tuhh.de/rump/intlab/

• Dimensions and units soundness and propagation

• Armada, concurrent program (like spell checking) to produce provably correct computer code

  • • New programming language and tool verify code https://techxplore.com/news/2020-07-language-tool-code.html

• Propagation of representation errors

  • • High accuracy computing

    • Traps for underflow, overflow and division by zero

    • Fixed-point strategies

• Type inference for dynamically-typed code

• Narrowing bounds around solution

• Matrix inversion stabilities

• Cancellation errors

• Significant digits and customised precision

• Dependence checks

• Quality assurance checks in uncertainty propagation

• • https://github.com/ScottFerson/traincontrol/blob/master/Risk%20Clinic.pptx

    • See also Checklist