Question

Programs containing loops can be verified exhaustively, that is, by trying all cases.

Answer

This answer is hidden. It contains 5 characters.