Yes

There is a special program (called 'checker') which, given input, desired answer and participant's output generate an outcome. Here you can read about testlib — library that is used on Codeforces to write checkers.

Sometimes check is straightforward, sometimes checking an answer for correctness is a separate interesting problem.