SymNetという Network Verification システムがあります。 このSymNetを手元で動かしたのでそのメモを残します。 SymNet 概要 シンボリック実行を用いてネットワークのdata planeを検証するシステムです。 似た手法としてHeader Space Analysisがありますが…