One of the most important aspects of programmable networks is their correctness. The quality of being correct is not something that is built into any architecture of programmable networks. Since it is ...