Основные методы верификации аппаратуры и программного обеспечения – тестирование, имитационное моделирование, дедуктивный анализ, верификация моделей.