Формальна верифікація: відмінності між версіями
[неперевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Addbot (обговорення | внесок) |
Hjvfy (обговорення | внесок) |
||
Рядок 14:
Прикладами математичних об'єктів, часто використовуваних для моделювання та формальної верифікації програм і систем є:
*формальна семантика мов програмування, наприклад операційна семантика, денотаціонная семантика, аксіоматична семантика (
*кінцевий автомат
*позначена модель станів і переходів
Рядок 23:
*структуровані алгоритми
*структуровані програми
==Підходи до формальної верифікації==
Існують такі підходи до формальної верифікації:
|