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