Using lightweight formal methods to validate a key-value storage node in S3amazon.science6 pointsgbrown_5 years ago