[SystemSafety] Use of Formal Methods

[Derek M Jones]

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