Svantaggi dei metodi di verifica formali?

Complessità: i metodi formali possono essere molto complessi da utilizzare. Questo perché richiedono una buona conoscenza della teoria dei linguaggi formali e della logica matematica. Limitazione: i metodi formali possono essere limitati nell'applicazione. Questo perché possono essere utilizzati solo per verificare proprietà che possono essere formalizzate in modo rigoroso.