Верификация

Формальная верификация — доказательство с помощью формальных методов правильности или неправильности системы в соответствии с формальным описанием свойств системы.

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

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

- Автоматическое доказательство теорем (Theorem proving)
- Проверка на модели (Model checking)
- Символьное выполнение (Symbolic execution)
- Абстрактная интерпретация (Abstract Interpretation)
 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home