[SystemSafety] Claims for formal methods

Derek M Jones derek at knosof.co.uk
Wed Feb 19 11:59:51 CET 2014


Martyn,

> Now you seem to be abusing an entire community of researchers and
> engineers. Are you unable to put forward your beliefs more professionally?

I gave a succinct summary of my views.

> Please provide some examples (preferably from peer-reviewed journals) of
> the "excessive claims" that you are criticising.

There are the articles discussed in links I posted to the
original thread:
http://shape-of-code.coding-guidelines.com/2013/03/10/verified-compilers-and-soap-powder-advertising/ 

http://shape-of-code.coding-guidelines.com/2012/05/23/would-you-buy-second-hand-software-from-a-formal-methods-researcher/

The French group in the above links did some interesting work on
compiler code generation and I believe they now refer to it as
a verified compiler backend (which is what it idoes) rather than a
verified C compiler.

For an impressive piece of work on creating a formal definition
of a C compiler front end (syntax and semantics) supporting a
substantial chunk of the C standard  see:
http://code.google.com/p/c-semantics/

> Then please explain how this provides enough evidence for accusing a
> whole community of a "culture of intellectual dishonesty".

Thanks, but I am content to sit in my corner of the world and leave
the entrenched positions be.

> Martyn
>
>
>
> On 19/02/2014 00:16, Derek M Jones wrote:
>> The current culture of intellectual dishonesty in the formal methods
>> community is switching off interest from potential users.
>>
>> Justifying excessive claims by using weasel words to show how
>> wording can be interpreted to reflect reality is not the way to
>> convince people to try something new.
>>
>> Researchers should ask themselves whether their paper would stand
>> scrutiny from the advertising standards authority.
>> Soap power manufacturers have their claims scrutinized and I think
>> we all agree that claims made about the use of formal methods should
>> also meet this minimum requirement.
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>

-- 
Derek M. Jones                  tel: +44 (0) 1252 520 667
Knowledge Software Ltd          blog:shape-of-code.coding-guidelines.com
Software analysis               http://www.knosof.co.uk


More information about the systemsafety mailing list