Which is still where the effort is going, although there does seem to be more interest in automated validation now, which is welcome progress.
Which is still where the effort is going, although there does seem to be more interest in automated validation now, which is welcome progress.
That may be an interesting distinction in a vacuum, but given that the input to both is words put together randomly with a mathematical probability a compiler's binary correctness isn't actually the useful property that it may first seem. In the real world, to overcome the probabilistic input, you have to validate the input with respect to the output. And it turns out once you have systems in place for that, you gain the same assurances with a probabilistic output as you do with binary output.
So, while there are some technical differences, there is no practical difference.