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

• Статический анализ. 1 Проверка формализованных правил корректного построения модели, поиск часто встречающихся дефектов по некоторым шаблонам. 1
• Динамические методы. 1 Анализ и оценка свойств модели по результатам её реальной работы (или моделей и прототипов). 1 К ним относятся (имитационное) тестирование, мониторинг, профилирование. 1
• Формальные методы. 14 Создание математических моделей программ и требований и логический анализ соответствия между построенными моделями. 4 К ним относятся дедуктивный анализ, проверка моделей, абстрактная интерпретация. 1
• Проверка на модели. 1 Автоматическая техника верификации различных систем с конечным или бесконечным числом состояний. 1
• Метод, использующий отношение уточнения между моделями. 3 Для заданной модели, которую нужно верифицировать, строится более простая модель, для которой доказательство инвариантов выполняется значительно проще. 3

Лучшие результаты, как показывает практика, достигаются при совместном использовании разных методов. 4