Формальна верифікація
З Вікіпедії, безкоштовно encyclopedia
Форма́льна верифіка́ція — в інформаційних технологіях, доведення, або заперечення відповідності системи певній формальній специфікації або характеристиці, із використанням формальних методів математики[1].
У Вікіпедії є статті про інші значення цього терміна: Верифікація (значення).