On Tuesday, 29 July 2014 at 22:07:42 UTC, Timon Gehr wrote:
On 07/29/2014 11:08 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= <ola.fosheim.grostad+dl...@gmail.com>" wrote:The best you can hope to have is partial correctness. Even with a systemfor formal verification.Well, why would this be true?
Because there is no way you can prove say OpenGL drivers to be correct. They are a black box provided by the execution environment.