2020/05/05 マルレク 「AWSでの形式手法の利用」の講演ビデオです。

講演ビデオ

• Playリストで連続再生
• Part I 「大規模なシステム障害はなぜ起きるのか？」
• Part II 「Amazon Web Servicesでの形式手法の導入と拡大」
• Part III 「Amazon Web Servicesのセキュリティについての形式的推論」