Hacker News Reader

There is tons of formal methods research happening in industry. Way more than in the days of Microsoft research silicon valley

Out of curiosity, which companies do this sort of research?

AWS had a paper in SOSP on verifying parts of S3