2020/05/05 マルレク

概要

https://aws-formal-methods.peatix.com/view

講演ビデオ

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

資料ダウンロード

• 講演資料：「Amazon Web Servicesでの形式手法の利用」
• 参考資料3：「ワンクリック形式手法」
• 参考資料2：「Amazon Web Servicesのセキュティについての形式的推論」
• 参考資料１：「Amazon Web Services はどのように形式⼿法を利⽤したか」

講演資料 「AWSでの形式手法の利用」 viewer

参考資料3 「ワンクリック形式手法」 viewer

参考資料2 「Amazon Web Servicesのセキュティについての形式的推論」 viewer

>

参考資料1 「Amazon Web Services はどのように形式⼿法を利⽤したか」 viewer