Формальна верифікація: відмінності між версіями

'''Верифіка́ція форма́льна''' — в [[інформаційні технології|інформаційних технологіях]], [[математичне доведення|доведеннядоказ]], або [[заперечення]] [[Вірність (іт)Бієкція|вірностівідповідності]] системи у відношенні до певної [[формальна специфікація|формальної специфікації]] або характеристики, із використанням [[формальні методи|формальних методів]] [[математика|математики]].