Re: [SystemSafety] Claims for formal methods

From: Derek M Jones < >
Date: Wed, 19 Feb 2014 13:07:17 +0000


> No matter their views, I would ask people please to think twice about phrasing them in such a way
> that others could interpret as potentially actionable.

Does the formal methods community have a union that is likely to file a complaint?

> Just to let everyone know, we shall remove what I consider questionable words from the archived copy
> of Derek's post.

I think you are over reacting somewhat. But if the Formal Methods union take action you will be in the firing line with me.

Derek M. Jones                  tel: +44 (0) 1252 520 667
Knowledge Software Ltd
Software analysis     
The System Safety Mailing List
Received on Wed Feb 19 2014 - 14:07:47 CET

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:06 CEST