#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Aug 23, 2022•35 min
Listen to this episode in Metacast mobile app
Don't just listen to podcasts. Learn from them with transcripts, summaries, and chapters for every episode. Skim, search, and bookmark insights. Learn more
Episode description
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。
For the best experience, listen in Metacast app for iOS or Android