Верификация — это процесс проверки, насколько программное обеспечение или система соответствуют заранее установленным спецификациям и стандартам в ходе разработки. Она включает статический анализ кода, формальные методы для подтверждения корректности, инспекции, а также проверки структуры программы и сопутствующей документации. Ключевой вопрос верификации заключается в определении правильности создания системы. Процесс может осуществляться в автоматизированном, полуавтоматическом или ручном режимах, что позволяет выявлять ошибки на ранних этапах.