Процесс контроля корректности трансляции концептуальной модели в имитационную программу, т.е. проверка правильности структуры (логики) модели, - это …