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

Перейти к навигации Перейти к поиску
м
(→‎Подходы к формальной верификации: де.викификация, оформление)
Примерами математических объектов, часто используемых для моделирования и формальной верификации программ и систем являются:
 
* формальная семантика языков программирования, например [[операционная семантика]], [[Семантика вычислений#Денотационная семантика|денотационная семантика]], [[аксиоматическая семантика]] ([[логика Хоара]]), [математическая семантика программ].
* [[конечный автомат]]
* помеченная [[модель состояний и переходов]]

Навигация