Верификация
Материал из Википедии — свободной энциклопедии
Формальная верификация — доказательство с помощью формальных методов правильности или неправильности системы в соответствии с формальным описанием свойств системы.
Верификация (от лат. verus - истинный, facere - делать) - проверка; способ обоснования (подтверждения) каких-либо теоретических положений путем их сопоставления с опытными (эмпирическими) данными.
Методы верификации:
- Автоматическое доказательство теорем (Theorem proving) - Проверка на модели (Model checking) - Символьное выполнение (Symbolic execution) - Абстрактная интерпретация (Abstract Interpretation)
 |
Это незавершённая статья. Вы поможете проекту, исправив и дополнив её. Это примечание следует заменить более точным. |
