Algorithm Correctness Proof Protocol for Conceptual Framework Development | Algorithm Correctness Proof | Mathematics | NEROS