Why Don't People Use Formal Methods?

420 points by pplonski86

Read the article

Discussion on Hacker News