KATch is a new verification tool that uses efficient symbolic representations and algorithms to quickly check equivalence of NetKAT programs, enabling practical verification of network-wide properties.
