Practical verification of network planes