Verification and Validation in Computational Science

Resources
LLE, University of Rochester

A word of caution

The following selection is incomplete and possible omissions surely accidental. Comments, corrections and suggestions for additions are welcome.

V&V Groups

Academia
    Aerospace and Ocean Engineering, Virginia Tech (Chris Roy)
    Aachen Institute for Advanced Study in Computational Science Engineering
    UCSD Flow Control Lab
Government
    U.S. Department of Energy
      National Nuclear Security Administration
      Sandia National Laboratory
        Optimization and Uncertainty Estimation
      Lawrence Livermore National Laboratory
      Los Alamos National Laboratory
    U.S. Department of Defense
      Defense Modeling and Simulation Office
    European Commission
      The Decommissioning and Waste Management Programme

Validation Experiments

University of Michigan
University of Rochester
    Laboratory for Laser Energetics
    Fusion Science Center for Extreme States of Matter
    The Omega laser system

Validation Applications

The FLASH Code
FLASH shock-cylinder validation

V&V Tools

The DAKOTA Project
SimLab
VERSOFT
Autodiff: Community Portal for Automatic Differentiation
Verification, Validation, and Test - MATLAB & Simulink Solutions

V&V Meetings

2002: Foundations '02 V&V Workshop
2004: Foundations '04 V&V Workshop
2006: Validation Challenge Workshop
2007: Sandia CSRI Workshop
2008: 2008 ASC PI Meeting Presentations
2008: MITACS Workshop on Methodology of Validation and Verification
2008: Polynomial Chaos Methods for Uncertainty Quantification
2010: 6th International Conference on Sensitivity Analysis of Model Output
2010: The Sixth Summer-school on Sensitivity Analysis
2010: Verification, Validation and Updating of FE Models for Structural Analysis
2011: IFIP Working Conference Uncertainty Quantification in Scientific Computation
2012: SIAM UQ12 conference (presentations)
2012: ASME Verification and Validation Symposium
2013: 4th International Workshop on Model Reduction in Reacting Flows (IWMRRF)

2004: 5th International Conference on High Energy Density Laboratory Astrophysics (Tucson)
2006: NASA Laboratory Astrophysics Workshop
2006: 6th International Conference on High Energy Density Laboratory Astrophysics (Rice)
2006: Computational Methods in Transport
2008: 7th International Conference on High Energy Density Laboratory Astrophysics (APS St. Louis)
2010: 8th International Conference on High Energy Density Laboratory Astrophysics (CalTech)
2011: 2011 NIF Workshop
2011: Workshop on Verification and Validation in Computational Science (Notre Dame)
2012: 9th International Conference on High Energy Density Laboratory Astrophysics (Florida State)
2012: Computational Methods in High Energy Density Plasmas
2013: The Eighth International Conference on Inertial Fusion Sciences and Applications (IFSA 2013)

Select V&V Articles

Exploring the Fundamental Limits of Simulations

Simulating How the Wind Blows

This Model Can Take the Heat

Recycled Equations Help verify Livermore Codes

A Brief Overview of Uncertainty Quantification and Error Estimation in Numerical Simulation, Tim Barth

On Validating an Astrophysical Simulation Code, Calder, A. C., et al., 2002, ApJS, 143, 201, ApJS, ADS

Simulation of vortex-dominated flows using the FLASH code, Dwarkadas, V., et al., 2004, in T. Plewa, T. Linde and V.G. Weirs, eds, Proceedings of the Conference on Adaptive Mesh Refinement - Theory and Applications, Chicago, IL, September 3-5, 2003, astro-ph

Uncertainty quantification for porous media flows, Christie, M. et al., 2006, J. Comput. Phys., 217, 143, DOI

Encore Error Estimation Toolkit with Method of Manufactured Solutions

Last modified: .