#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
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3