УДК
Бикбулатов Тимур Русланович,,,,,,
ДЕДУКТИВНАЯ ВЕРИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
DEDUCTIVE SOFTWARE VERIFICATION
Аннотация. В работе описаны три подхода, применяемые для проверки корректности программного обеспечения: тестирование, валидация и верификация. Более подробно рассмотрен метод верификации дедуктивным анализом на основе логики Хоара.
Ключевые слова: тестирование, валидация, верификация, программа, метод, система, ошибка, методы верификации, дедуктивный анализ, логика, алгоритм
Abstract.
Keywords: