ТерминологияДоказательство того, что поведение программы соответствует спецификации на эту программу [из 54 табл. 1 ГОСТ 19781-90]Из ГОСТ 19781-90 Обеспечение систем обработки информации программное. Термины и определенияProgram ☠ Verification ☠ Верификация ☠ Программа ⇪В 22923 💥
