Correctness Proof of Algorithms Protocol Design | Correctness Proof of Algorithms | Mathematics | NEROS