Формальная верификация: различия между версиями

→‎Подходы к формальной верификации: + доказательное программирование
м (r2.5.2) (робот добавил: el:Τυπική επαλήθευση)
(→‎Подходы к формальной верификации: + доказательное программирование)
* [[систематический анализ алгоритмов и программ]]
* [[технологии доказательного программирования]]
 
== Доказательное программирование ==
Доказательное программирование — использовавшаяся в 1980-х годах в академических кругах технология разработки программ для ЭВМ с доказательствами правильности — доказательствами отсутствия ошибок в программах (понимая, в рамках данной теории, ошибки как несоответствия между программой и реализуемым ею алгоритмом).
 
== См. также ==