The only scholarly paper they've written about it is this one: https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-

The only scholarly paper they've written about it is this one: https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3 https://www.amazon.science/publications/using-lightweight-fo... (well, I think they may have submitted one or two others, but this is the only one that got published)