AWSでの形式手法の利用
2020/05/05 マルレク
概要と申し込み
https://aws-formal-methods.peatix.com/view
資料ダウンロード
- 講演資料：「Amazon Web Servicesでの形式手法の利用」
- 参考資料3：「ワンクリック形式手法」
- 参考資料2：「Amazon Web Servicesのセキュティについての形式的推論」
- 参考資料１：「Amazon Web Services はどのように形式⼿法を利⽤したか」
講演資料 viewer
参考資料3 viewer
参考資料2 viewer
>