Коли запитуєш, як переконатися, що програма працює як треба, зазвичай чуєш: писати unit-тести, наймати більше QA, використовувати статичні аналізатори або просто молитися, щоб усе не зламалося в продакшні.

Але часто забувають, що існує формальна верифікація. Що це таке — читайте у блозі.