A case-study in open-source CFD code verification. Part II: Boundary condition non-orthogonal correction.
Harold NoriegaFrançois GuibaultM. ReggioR. MagnanPublished in: Math. Comput. Simul. (2018)
Keyphrases
- boundary conditions
- open source
- source code
- case study
- open source software
- error detection
- shape from shading
- model checking
- sufficient conditions
- software systems
- linux kernel
- poisson equation
- static analysis
- reaction diffusion
- quotient space
- boundary value problem
- fixed point theorem
- single image
- software development
- java bytecode