マガジンのカバー画像

AWSにおける形式手法

3

本

AWSで形式手法を導入した経緯を説明した論文を読んでいきます.

運営しているクリエイター: なさだ十三

AWSにおける形式手法 - 前書き(1/4) 論文を書いた動機

AWSの技術者が形式手法を導入した経緯と成果を論文に発表しています. この論文を少しづつ読み…

なさだ十三

3年前

4

AWSにおける形式手法 - 前書き(2/4) AWSのサービスの内部構造は複雑

前書きの第２段落目を読んで理解できたことは次の通りです. AWSでは, ユーザにとって使いやす…

なさだ十三

3年前

6