> What is a typical workflow of how to verify a program? If you mean an existing program, it is usually not done that way. Instead, you develop the program an

> What is a typical workflow of how to verify a program? If you mean an existing program, it is usually not done that way. Instead, you develop the program and the proofs at the same time, so they go hand and hand with each other. If you just mean checking exhaustiveness of a case statement, compilers can often do that for you.