この資料をSMS送信: NetChecker: enabling real-time and error-locatable runtime verification for programmable networks