Comment by m_j_g

Contrary, formal methods could (in theory!!) give as way to assess correctness of software regardless of programmer qualifications.