Просмотр

Материал информационного ресурса НКК "Красная Застава"

Источник: [http://ru.wikipedia.org/wiki/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C Wikipedia]
'''Формальная верификация''' —
доказательство с помощью [[формальные методы|формальных методов]] правильности или неправильности системы
в соответствии с формальным описанием свойств системы.

'''Верификация''' (от лат. verus - истинный, facere - делать) - проверка; способ обоснования (подтверждения) каких-либо теоретических положений путем их сопоставления с опытными (эмпирическими) данными.

Методы верификации:

 - Автоматическое доказательство теорем (Theorem proving)
 - Проверка на модели (Model checking)
 - Символьное выполнение (Symbolic execution)
 - Абстрактная интерпретация (Abstract Interpretation)
[[Категория:Словарь терминов]]

Возврат к странице Верифицируемость.

Источник — «http://krasnaya-zastava.ru/wiki/index.php/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D1%86%D0%B8%D1%80%D1%83%D0%B5%D0%BC%D0%BE%D1%81%D1%82%D1%8C»