On 07/30/2014 05:33 PM, Daniel Murphy wrote:
"Timon Gehr" wrote in message news:lrb2o9$314b$1...@digitalmars.com...
> Because there is no way you can prove say OpenGL drivers to be correct.
> They are a black box provided by the execution environment.
I see. (Though I secretly still dare to hope for verified OpenGL
drivers, or something analogous: it is not completely out of reach
theoretically; the machine can be given a quite precise formal
specification.)
But even if the drivers are verified, the hardware might be buggy! And
if the hardware's verified,
My understanding is it often is.
the power source might be unstable!
You should verify power source stability.
On a more serious note, are you trying to argue that there are no
pragmatic differences in software quality based on the obvious fact that
the system running the software is implemented on top of uncertain physics?
