Standard Physics

Verification & validation

Proof the numbers are real.

A solver earns trust by measuring its own error. Verification checks that the equations are solved correctly; validation checks that they are the right equations. We do both, we measure the error directly against answers that are known exactly, and we publish it.

Computed temperature field and buoyancy-driven circulation
Boussinesq convection: a field computed by the solver, not a learned prediction.
e(h)=∥uh−u∥=C h p+o(h p)p=log⁡ ⁣(e(h1)/e(h2))log⁡ ⁣(h1/h2)\begin{aligned} e(h) &= \lVert u_h - u \rVert = C\,h^{\,p} + o(h^{\,p}) \\[8pt] p &= \frac{\log\!\big(e(h_1)/e(h_2)\big)}{\log\!\big(h_1/h_2\big)} \end{aligned}
Discretization error e against the exact solution u, on meshes of size h. The observed order p is the slope on log axes.

How accuracy is measured

The error must shrink at the rate theory predicts.

The error is measured against the exact answer on finer and finer meshes. It must fall as a fixed power of the cell size, the order of accuracy p: a second-order method has p = 2. We report the observed p for every case.

How we check

The method behind the numbers.

Manufactured solutionsKnown-answer testsError measured against an exact answer.
Grid convergenceMesh independenceDistance from the mesh-independent value.
Tested on every changeHundreds of casesRe-run on every change to the solver.
Open and reproducibleStandard formatsCAD/BIM in, VTK out. Reproducible.

Validation on your own application.

We can run the same workflow on your geometry, materials, and operating conditions.