Що таке верифікація і як вона працює? Даний термін мається на увазі по-різному, в кожній сфері діяльності, де використовується:
-Верифікація, це підтвердження кінцевого продукту, заздалегідь визначеним вимогам.
-Верифікація, позиціонується також як одна з методик розпізнавання спотворення, брехні, і подібного.
-Третій і кінцевий варіант, коли під верифікацією мається на увазі будь-який спосіб підтвердження даних, за допомогою перевірки їх будь-якими наданими даними.
Крім цього, існує ще один термін, як формальна верифікація, що має на увазі під собою доказ з використанням різноманітних формальних методів правильності, або ж навпаки, неправильності системи відповідно до встановленого описом її властивостей. Розрізняють декілька методів здійснення верифікації:
- По-перше, це метод аксіоматичній семантики Хоер;
- По-друге, це доказове програмування - цей метод використовувався ще у вісімдесятих роках минулого століття, під час розробки програм для ЕОМ з доказами правильності;
- Автоматичне Доведення теорем - такий метод верифікації, який реалізований програмним способом;
- Наступний - метод індуктивних тверджень;
- Перевірка моделей - метод, який дозволяє проводити автоматичну перевірку даних паралельних систем, із заздалегідь визначеним кінцевим числом станів (іншими словами даний метод здійснює перевірку, чи задовольняє задана модель всім критеріям та умовам специфікації);
- Символьне виконання і абстрактна інтерпретація.
Взагалі верифікація - процес, який може бути автоматизований повністю, але для дуже маленького спектра простеньких «теорій». Для того, щоб підтримати строгість при перевірці і не упустити жодної деталі, можна запустити практично нескінченний цикл, коли відбувається процес докази верифікатором, який надалі перевіряє і сам верифікатор.