Login
From:
Amazon Science
(Uncensored)
subscribe
AWS team wins best-paper award for work on automated reasoning - Amazon Science
https://www.amazon.science/blog/aws-team-wins-best-paper-award-for-work-on-automated-reasoning
links
backlinks
Tagged with:
storage
awards and recognitions
academics at amazon
amazon s3
formal verification
SOSP paper describes lightweight formal methods for validating new S3 data storage service.
Roast topics
Find topics
Find it!
