はじめに Google のコードレビューに関する事例についての論文があることを知ったので読んでみたメモ書きです。 https://storage.googleapis.com/gweb-research2023-media/pubtools/4476.pdf

はじめに S3 の論文 "Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3" に目を通したので内容を箇条書きでメモしていきます。 まだ 「Introduction」までしか見てないので随時記載していきます。