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

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