Can a program can do exactly some given task?

Is there any way to be sure that a given program will do exactly a specific task?
Let's say I want to make a round-robin scheduler. Is there some way that I can be sure that certain program I've written will do exactly that?

There's no way to know for sure. No way. No way.

Everything is based on baseless logic. Even reality itself is based on baseless logic.