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

Нет описания правки
(→‎См. также: дополнение)
'''Формальная верификация''' или '''формальное доказательство''' — [[Формальные методы|формальное]] доказательство соответствия или несоответствия формального предмета [[верификация|верификации]] его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
 
Из-за рутинности даже простой формальной верификации и теоретической возможности их полной автоматизации под формальной верификацией обычно подразумевают автоматическую верификацию с помощью [[Компьютерная программа|программы]].
Анонимный участник