Verify That the Program Segment $$\begin{array} { l } a : = 2 \\b : = a + c\end{array}$$

Short Answer

Verify that the program segment $$\begin{array} { l } a : = 2 \\b : = a + c\end{array}$$ is correct with respect to the initial assertion c = 3 and the final assertion b = 5.