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?

>>4
Using lithp you don't make formal verification easier,
you make programming harder.