Программирование доказательное (proof programming) — метод информатики, использующий совмещение ручного или автоматического синтеза программы с доказательством соответствия программы решаемой задаче и использованием знания о предметной и проблемной области.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]