Algorithm Correctness Proof Protocol for Structured Analytical Execution | Algorithm Correctness Proof | Mathematics | NEROS