Некоторые методы верификации компьютерных алгоритмов на предмет ошибок:

• Экспертная оценка. 2 Неформальный способ проверки документов или программ для выявления ошибок. 2 Эксперты могут быть как создателями программного продукта, так и лицами или группами лиц, привлечёнными со стороны. 35
• Инспекция. 23 Структурированный и формальный метод проверки. 2 Формируется команда из нескольких участников, которую возглавляет беспристрастный модератор. 2
• Формальная верификация. 1 Основана на математическом доказательстве корректности программ. 1 Для построения математической модели всегда необходим квалифицированный специалист. 3
• Проверка моделей. 1 Автоматизированный метод, который для заданной модели поведения системы с конечным числом состояний и логического свойства проверяет справедливость этого свойства в данной модели. 1
• Абстрактная интерпретация. 4 Предполагает автоматическую верификацию важных динамических свойств программ, включая проверку на наличие или отсутствие ошибок при выполнении. 4
• Статический анализ. 5 Исследование выполняется без фактического выполнения программы. 5 В основном исследуется определённая версия исходного кода. 5
• Динамический анализ. 5 Позволяет анализировать все пути выполнения программы. 5 Используется в том случае, если исследование выполняется с помощью автоматизированных инструментов. 5