Using lightweight formal methods to validate a K/V storage node in Amazon S3amazon.science2 pointsdochtman5 years ago