Text this: NetChecker: enabling real-time and error-locatable runtime verification for programmable networks