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

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