Свидетельство о регистрации СМИ: ЭЛ № ФС77-79395 от 02.11.2020 ISSN: 2782-1528 DOI 10.34660/c0727-6092-6372-a
Доказательство (proof ) — попытки найти в программе ошибки путем доказательств на основе математических теорем о правильности программы, безотносительно к внешней программной среде.
[Камаев В. А., Костерин В. В. Основные термины и определения. Технологии программирования. (ФЭВТ, ВолгГТУ). (Электронный ресурс). Режим доступа: http:// fevt.ru /, свободный.]
Правообладателям! В случае если свободный доступ к данному термину является нарушением авторских прав, составители готовы, по требованию правообладателя, убрать ссылку, либо сам термин (определение) с сайта. Для связи с администрацией воспользуйтесь формой обратной связи.