title: Do formal methods of program verfication have a place in industry?
body: <p>I took a glimpse on <a href="http://en.wikipedia.org/wiki/Hoare_logic" rel="noreferrer">Hoare Logic</a> in college. What we did was really simple. Most of what I did was proving the correctness of simple programs consisting of <code>while</code> loops, <code>if</code> statements, and sequence of instructions, but nothing more. These methods seem very useful!</p>
  
  <p>Are formal methods used in industry widely?</p>
  
  <p>Are these methods used to prove mission-critical software?</p>