くりらじ静岡局から、技術屋目線で技術情報を追いかける番組をお届けします。
…
continue reading
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Manage episode 338678711 series 2151064
著作 Hajime Morrita , Jun Mukai の情報はPlayer FM及びコミュニティによって発見されました。著作権は出版社によって所持されます。そして、番組のオーディオは、その出版社のサーバから直接にストリーミングされます。Player FMで購読ボタンをタップし、更新できて、または他のポッドキャストアプリにフィードのURLを貼り付けます。
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
- Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 | Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
- Prusti – Programming Methodology Group | ETH Zurich
- tokio-rs/loom: Concurrency permutation testing tool for Rust.
- awslabs/shuttle: Shuttle is a library for testing concurrent Rust code
118 つのエピソード