[SystemSafety] Fetzer
Derek M Jones
derek at knosof.co.uk
Thu Jun 20 17:01:15 CEST 2019
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
More information about the systemsafety
mailing list