Интернет магазин китайских планшетных компьютеров

Компьютеры - Формальная верификация - Подходы к формальной верификации

Существуют следующие подходы к формальной верификации:

• формальная семантика языков программирования
• проверка моделей
• логический вывод
• cимвольное выполнение
• абстрактная интерпретация
• систематический анализ алгоритмов и программ
• технологии доказательного программирования

Доказательное программирование

Доказательное программирование — использовавшаяся в 1980-х годах в академических кругах технология разработки программ для ЭВМ с доказательствами правильности — доказательствами отсутствия ошибок в программах.