Login
Roast topics
Find topics
Find it!
From:
Andrey Satarin
(Uncensored)
subscribe
Formal Methods at Amazon S3
https://asatarin.github.io/talks/2022-02-formal-methods-at-amazon-s3/
links
backlinks
Roast topics
Find topics
Roast it!
Presentation on "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" paper for distributed systems reading group.
