AWSでの形式手法の利用

2020/05/05 マルレク

概要

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

講演ビデオ

資料ダウンロード

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

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

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

>

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