Using lightweight formal methods to validate a K/V storage node in Amazon S3amazon.science2 points·dochtman··0 commentsOpen articleSaveView on HN