This paper and its research ideas are based on, the SOPS 2021 best-paper award for work on automated reasoning Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 written by James Bornholt, Rajeev Joshi, Vytautas Astrauskas, Brendan Cully, Bernhard Kragl, Seth Markle, Kyle Sauri, Drew Schleit, Grant Slatton, Serdar Tasiran, Jacob Van Geffen and, Andrew Warfield. In this paper, we will take their insights as the basis and use this gained knowledge in similar likely problems.
Link to the orignal paper: https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3