the same way you verify that any other program compiles? I don't understand the question tbh, it seems self evident.

Compiling isn’t sufficient because it doesn’t tell you if the program matches the specification. A program that always says the temperature is 80 F will compile but is a terrible solution to what is the temperature outside at this location right now.