External verification analysis: A code-independent verification technique for unsteady PDE codes.

Daniel Ingraham Ray Hixon

Published in: J. Comput. Phys. (2013)

Keyphrases

model checking
statistical analysis
formal verification
face verification
formal analysis
data sets
data mining
information systems
face recognition
data analysis
high order
anisotropic diffusion
logical operations