その不可解な事件はクラウドのネットワーク上で発生した…。疎通できるはずの通信が何故か繋がらなかったり、逆にセキュリティ的に危険な通信がうっかり繋がってしまったり。複雑なネットワーク設定に立ち向かう上で、「実際に ping を打つ」以上に網羅的で体系的な分析は可能でしょうか？ 本講演では、SMT ソルバを用いて…