AWSでの形式手法の利用
2020/05/05 マルレク
概要
https://aws-formal-methods.peatix.com/view
講演ビデオ
- Playリストで連続再生
- Part I 「大規模なシステム障害はなぜ起きるのか?」
- Part II 「Amazon Web Servicesでの形式手法の導入と拡大」
- Part III 「Amazon Web Servicesのセキュリティについての形式的推論」
資料ダウンロード
- 講演資料:「Amazon Web Servicesでの形式手法の利用」
- 参考資料3:「ワンクリック形式手法」
- 参考資料2:「Amazon Web Servicesのセキュティについての形式的推論」
- 参考資料1:「Amazon Web Services はどのように形式⼿法を利⽤したか」
講演資料 「AWSでの形式手法の利用」 viewer
参考資料3 「ワンクリック形式手法」 viewer
参考資料2 「Amazon Web Servicesのセキュティについての形式的推論」 viewer
>