A (not) NICE way to verify the openflow switch specification | Synapse