求翻译：Code verification establishes that the code accurately solves the incorporated mathematical model, that is, that the code is free of mistakes for the simulations of interest.是什么意思？