ВЕРИФИКАЦИЯ ПРОГРАММЫ (program verification). Доказательство правильности программы, т. е. соответствия программы ее спецификациям. Ср. испытание программы