Using Lightweight Formal Methods to Validate S3 [pdf]assets.amazon.science2 pointsboiler_up8003 years ago