<human>:  With regards to static analysis, how do you know that a program is correct?
<bot>: There are a number of ways to do static analysis. One way is to use a formal method. Another way is to use a static analysis tool. A third way is to use a combination of both.