On code verification of RANS solvers.

Luís Eça Christiaan M. Klaij Guilherme Vaz M. Hoekstra Filipe S. Pereira

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

Keyphrases

source code
model checking
verification method
symbolic execution
real time
sat solvers
formal verification
byte code
information retrieval
artificial intelligence
high level
error correcting