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

[Marco van de Voort]

> http://www.lightbluetouchpaper.org/2007/08/10/house-of-lords-inquiry-personal-internet-security/
> 
> Quote:
> 
> "The third area, and this is where the committee has been most far-sighted,
> and therefore in the short term this may well be their most controversial
> recommendation, is that they wish to see a software liability regime, viz:
> that software companies should become responsible for their security
> failures....
> 
> "...in practice it may be a decade or two before there's sufficient case law
> for vendors to know quite where they stand if they ship a product with a
> buffer overflow, or a race condition, or just a default password."

Please move such  discussions to fpc-other.