“Formal methods” technology transfer will fail

For formal methods technology transfer to succeed, we must do two things: (1) integrate formal methods into basic university programming courses, and (2) improve the methods until they are better suited for practical application. Formal methods cannot be an “add-on” that is taught after programmers acquire bad habits, and they must produce documents that are easier to read than the programs that they describe.