2020年5月5日 AWSでの形式手法の利用 2020/05/05 マルレク 「AWSでの形式手法の利用」の講演ビデオです。 講演ビデオ Playリストで連続再生 Part I 「大規模なシステム障害はなぜ起きるのか?」 Part II 「Amazon Web Servicesでの形式手法の導入と拡大」 Part III 「Amazon Web Servicesのセキュリティについての形式的推論」 FacebooktwitterHatena