Verifying Open vSwitch agents