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

[JK Smith at Grid-Sky]

As I mentioned before, assuming some degree of liability for your work is on
the horizon.

From
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."

This will be a major opportunity to be exploited by a vendor who can design
apps which show due diligence via Contract Programming.

James