Correctness of source code extension for fault detection in openflow based networks