I need to write an algorithm with appropriate assertions and input and output specifications that gives the sum of n given numbers. Then I need to prove it. This is what I have, is it right?
Input:
Output:
Algorithm SUM
integers
Loop Invariant:
Repeat until:
End repeat
Loop termination condition:
Output specification: