On 07/29/2014 11:08 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= <ola.fosheim.grostad+dlang at gmail.com>" wrote: > The best you can hope to have is partial correctness. Even with a system > for formal verification. Well, why would this be true?