Why Don't People Use Formal Methods?

Article URL: https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/

Comments URL: https://news.ycombinator.com/item?id=18965274

Points: 176

# Comments: 90

from Hacker News: Front Page http://bit.ly/2W8BPBJ
via