ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
2 best points · 0 comments · 2 Hacker News posts · 616 GitHub stars · View on GitHub
Hacker News discussions
- A list of companies that use formal verification methods (2 points, 0 comments, by ligurio, 2021-02-08)
- A List of companies that use Formal methods in Software engineering (1 points, 0 comments, by AlexDenisov, 2018-02-14)