How many times do software engineers actually take time out to prove a program is correct?

• 软件工程师能有几次真正花时间来证明一个程序的正确性?