Linking pages
- GitHub - rust-lang/miri: An interpreter for Rust's mid-level intermediate representation https://github.com/rust-lang/miri 38 comments
- Announcing the Kani Rust Verifier Project | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2022/05/04/announcing-the-kani-rust-verifier-project.html 28 comments
- S3 as an Eternal Service - Last Week in AWS Blog https://www.lastweekinaws.com/blog/s3-as-an-eternal-service/ 28 comments
- The Case for Models | Concerning Quality https://concerningquality.com/models/ 23 comments
- How we verify the correctness of a spreadsheet engine | Row Zero https://rowzero.io/blog/property-based-testing 8 comments
- How automated reasoning helps Amazon S3 innovate at scale | AWS Storage Blog https://aws.amazon.com/blogs/storage/how-automated-reasoning-helps-us-innovate-at-s3-scale/ 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
- TLA+ is easy if you know how to abstract https://blog.fponzi.me/2023-10-26-tla-plus-is-easy-if-you-know-how-to-abstract.html 0 comments
Linked pages
Related searches:
Search whole site: site:amazon.science
Search title: Using lightweight formal methods to validate a key-value storage node in Amazon S3 - Amazon Science
See how to search.