Hacker News new | ask | show | jobs
A list of companies that use formal verification methods (github.com)
2 points by ligurio 1958 days ago