[fpc-pascal] Competitive advantage in showing proof of correctness

[Florian Klaempfl]

Vinzent Hoefler schrieb:
> On Tuesday 14 August 2007 06:14, Daniël Mantione wrote:
> 
>> Lastly, pre and post conditions are just another runtime check.
> 
> No. If you can prove that the conditions always hold, you don't even 
> need to compile to the program to prove its correctness.
> 
> There's a company already doing that:
> 
> http://www.praxis-his.com/sparkada/intro.asp

As long as they can't prove that Goedel is wrong I don't believe in it :)