Podcast Music Movie Game Book
  1. 🎧Podcast
  2. 🎧Hajime Morrita, Jun Mukai
  3. #97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

Release Date:

AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。

#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Title
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Copyright
Release Date

flashback