Верификация программ [program verification]  —

Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается; доказательство того, что поведение программы соответствует спецификации на эту программу [ Комов-09 ].
Яндекс.Метрика