В моделировании верификация модели означает ...
системный анализ объекта моделирования
проверку возможности её записи в математически строгом виде
проверку возможности ее программной реализации с использованием выбранного программного обеспечения
проверку её соответствия объекту моделирования с заданной точностью с учетом принятых предположений и ограничений