У розробці програмного забезпечення формальними методами є математичні підходи до вирішення програмних (і апаратних) проблем на рівнях вимог, специфікацій і проектування. Формальні методи, швидше за все, будуть застосовані до програмного забезпечення та систем, критично важливих для безпеки або захисту, наприклад програмного забезпечення авіоніки.

вступ. Формальні методи є методи системного проектування, які використовують чітко визначені математичні моделі для побудови програмних і апаратних систем. На відміну від інших систем проектування, формальні методи використовують математичні докази як доповнення до тестування системи, щоб забезпечити правильну поведінку.

Формальні методи є математичні методи специфікації, розробки та перевірки систем, як апаратного, так і програмного забезпечення. Використання підходів формальних методів може допомогти усунути помилки на ранніх стадіях процесу проектування.

Формальні методи частіше використовуються внутрішньо в рамках аналізу та для передачі специфікації. Неформальні методи частіше використовуються для спілкування з клієнтами та для легшого розуміння формальних специфікацій.

Формальні методи є термін, що застосовується до аналізу програмного забезпечення (і комп'ютерного обладнання), результати якого отримані виключно за допомогою використання строгих математичних методів. Використовувані математичні методи включають денотаційну семантику, аксіоматичну семантику, операційну семантику та абстрактну інтерпретацію.

Керівники підприємств вірять, що формальні методи можуть підвищити якість програмного забезпечення, але формальні методи не використовуються широко, тому що ці методи вважаються дорогими та неможливими [8] .