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

Derek M Jones derek at knosof.co.uk
Thu Feb 27 13:12:50 CET 2014


Martyn,

> 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          blog:shape-of-code.coding-guidelines.com
Software analysis               http://www.knosof.co.uk


More information about the systemsafety mailing list