[SystemSafety] Use of Formal Methods

Derek M Jones derek at knosof.co.uk
Wed Oct 25 15:05:06 CEST 2017


Michael,

> I'm assuming that my views will not be of value in your survey, but I'd be interested to see the results if it is possible for you to release them.

Formal methods proponents like guarantees answers.

Creating a survey that cannot be completed by anybody who does not
use formal methods is a technique for removing pesky outliers
from the measurements, which 'improves' the quality of the results.

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


More information about the systemsafety mailing list