We can get CPUs that are consistent and reliable, and we can get compilers that work on top of them that are provably correct. Pascal creator Nicholas Wirth described how to write a correct compiler in his book, Compiler Construction, back in 1996. It should be a simple step from there to create "functionally correct" programs that can, for any input, produce the correct output.
Tags: Compiler Construction, Correct Compiler, Correct Software, Cpus, Input Output, New Software, Nicholas Wirth, Pascal, software testing