[SystemSafety] Fetzer

[Derek M Jones]

Andy,

> To me it seems that you are arguing that it is ok to make mistakes in
> subjective areas such as testing and process conformance, yet formal proof
> must be held to a higher standard.

I would never argue that it's ok to make mistakes.

> There is a place for both proof and the more subjective analyses such as
> testing and process conformance.

There is a place for the use of mathematics.

Claims for what has been proved tend to be overblown, and need to be
treated with great caution.

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com