チェシャ猫の消滅定理

数学にプログラミング、素敵なもの何もかも。

2021-09-30から1日間の記事一覧

VPC Reachability Analyzer と形式手法

こんにちは、チェシャ猫です。 先日開催された AWS Dev Day Online Japan 2021 で、AWS の VPC Reachability Analyzer とそのバックエンドである Tiros について発表してきました。公募 CFP 枠です。 講演概要 このプレゼンの大きな目標は、VPC Reachability…