Формальная верификация: различия между версиями

→‎Подходы к формальной верификации: де.викификация, оформление
(→‎Подходы к формальной верификации: де.викификация, оформление)
 
== Подходы к формальной верификации ==
 
Существуют следующие подходы к формальной верификации:
 
* формальная семантика языков программирования
* [[проверка моделей]] (model checking)
* [[логический вывод]] (logical inference)
* [[{{нп3|символьное выполнение]]|символьное (выполнение|en|symbolic execution)}}
* [[{{нп3|абстрактная интерпретация]]|абстрактная (интерпретация|en|abstract interpretation)}}
* [[систематический анализ алгоритмов и программ]]
* технологии [[технологиидоказательное программирование|доказательного программирования]]
 
== Доказательное программирование ==