You Don't Know Jack About Formal Verification

2 comments

• Jtsummers 1 hour ago
  https://news.ycombinator.com/item?id=48719521

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