[isxqeiqb] Formal software engineering

Are formal tools for software development -- proving correctness of code -- needed more for the "make it work right" or the "make it work fast" phase of software development?