CMurphi verification code for SDN controllers.