"Timon Gehr" wrote in message news:[email protected]...
> 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, the power source might be unstable!
