▲ 2 pointsUsing lightweight formal methods to validate a K/V storage node in Amazon S3amazon.scienceby dochtman·4y ago·0 comments·view on hn ↗