4 ms·
There is tons of formal methods research happening in industry. Way more than in the days of Microsoft research silicon valley
by InefficientRed 4y ago
There is tons of formal methods research happening in industry. Way more than in the days of Microsoft research silicon valley
- shadowfox 4y agoOut of curiosity, which companies do this sort of research?
- mirker 4y agoAWS had a paper in SOSP on verifying parts of S3 https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc2135e4/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3.pdf https://assets.amazon.science/07/6c/81bfc2c243249a8b8b65cc21...