Metodi formali di sviluppo software

Perché i metodi formali di sviluppo software, sovente amati nel mondo accademico, non hanno avuto successo nel mondo reale?

Il motivo non è una presunta scarsa professionalità degli sviluppatori, ma il fatto che i metodi formali non sono adeguati per l'uso in ambiti operativi:
"Reports that formal methods are ready for industrial use must be taken with a grain of salt; if they were ready, their use would be widespread."

E il motivo non è neppure una presunta mancanza di fondi per la ricerca:
"More money is not the answer. [...] Research in formal methods for software development has been very well funded. More money won't help; more thinking will."

Sono affermazioni di David Parnas, uno tra i più autorevoli teorici del mondo del software.

David Lodge Parnas: "Really Rethinking 'Formal Methods'", in IEEE Computer, January 2010.