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

[Derek M Jones]

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