1 points, 0 comments on Hacker News

Source: [Hacker News](https://v12.sh/blog/x86-formal-verification-intro)

Sponsored