Metody formalne (ang. formal methods) – oparte na matematyce podejścia do specyfikacji, projektowania i weryfikacjioprogramowania lubsystemów informatycznych.
Użycie notacji i języków ze zdefiniowanym matematycznym znaczeniem pozwala precyzyjnie określić, co system informatyczny powinien robić, jakie mają być jego właściwości orazzweryfikować poprawność działania systemu.