Run-time verification

Определение

Проверка корректности результатов работы системы путём выполнения или симуляции в реальном времени.