2 ms·
Out of curiosity, which companies do this sort of research?
by shadowfox 4y ago
Out 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...