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

м
Примерами математических объектов, часто используемых для моделирования и формальной верификации программ и систем являются:
 
* формальная семантика языков программирования, например [[операционная{{iw|Операционная семантика]]||en|operational semantics}}, [[денотационная{{iw|Денотационная семантика]]||en|denotational semantics}}, [[аксиоматическая{{iw|Аксиоматическая семантика]]||en|axiomatic semantics}} ([[логика Хоара]]), [математическая семантика программ].
* [[конечный автомат]]
* помеченная [[модель состояний и переходов]]