Metody formalne (
ang.formal methods) - w informatyce tym terminem określa się oparte na matematyce podejścia do specyfikacji, projektowania i weryfikacji
oprogramowania
lub
systemó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 oraz zweryfikować poprawność działania systemu.
Wiatr na Ziemi nie może wiać szybciej niż 520 km/h, jest to spowodowane siłami, które wpływają na cząsteczki powietrza (m .in. przyciąganie, tarcie, różnice ciśnień powietrza).