[SystemSafety] Use of Formal Methods

[David Crocker]

Gergely, I suggest you ignore Derek's comment, he is well-known for his
anti-FM views. I've looked at the survey and the questions make explicit
provision for those who use FMs in research, and even for those who have
only studied FMs.

David Crocker, Escher Technologies Ltd.
http://www.eschertech.com
Tel. +44 (0)20 8144 3265 or +44 (0)7977 211486

On 25/10/2017 14:18, Gergely Buday wrote:
> Well, this narrows the survey to those who are using formal methods in
> a real-world setting. Me, being an academic proponent of FMs cannot
> take part in this. And industrial people will not praise a method over
> its real value.
>
> - Gergely 
>
> 2017. okt. 25. du. 3:05 ezt írta ("Derek M Jones" <derek at knosof.co.uk
> <mailto:derek at knosof.co.uk>>):
>
>     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 <tel:%2B44%20%280%291252%20520667> 
>     blog:shape-of-code.coding-guidelines.com
>     <http://shape-of-code.coding-guidelines.com>
>
>     _______________________________________________
>     The System Safety Mailing List
>     systemsafety at TechFak.Uni-Bielefeld.DE
>     <mailto:systemsafety at TechFak.Uni-Bielefeld.DE>
>
>
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171025/6b69066c/attachment-0001.html>