Top New Best Ask Show Jobs

You Don't Know Jack About Formal Verification | Hacker News Reader

You Don't Know Jack About Formal Verification

queue.acm.org

3 points·aravindputrevu··3 comments

Open articleView on HN

https://news.ycombinator.com/item?id=48719521

Previous discussion (with a different title which made finding it harder)

Sorry, did not realize that it was submitted.

Correct link is https://queue.acm.org/detail.cfm?id=3819084

Reply on news.ycombinator.com