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: