Re: [SystemSafety] Scalability of Formal Methods [was: Logic]

From: Derek M Jones < >
Date: Thu, 27 Feb 2014 12:12:50 +0000


> would do in all circumstances ". Who are these people who keep appearing
> anecdotally on mailing lists like this? Can we name them and see if we
> can stop them clouding the issues with such nonsense?

They tend to be the managers with the word Technical in their title who are good at spelling that word and not much else; also Joe Soap public.

Derek M. Jones                  tel: +44 (0) 1252 520 667
Knowledge Software Ltd
Software analysis     
The System Safety Mailing List
Received on Thu Feb 27 2014 - 13:14:01 CET

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