You Don't Know Jack About Formal Verification

2 comments

• Jtsummers 54 minutes ago
  https://news.ycombinator.com/item?id=48719521

  Previous discussion (with a different title which made finding it harder)
• carlsborg 1 hour ago
  Correct link is https://queue.acm.org/detail.cfm?id=3819084