[SystemSafety] Claims for formal methods

[C. Michael Holloway]

Not that my opinion need matter much, but I concur fully with Mr. Raftery.  
Editing the archive is a blight on the integrity of the list.  In some ways, 
doing so seems worse to me than anything Mr. Jones wrote.

On 2/19/14 6:08 PM, Heath Raftery wrote:
> ...
> That would be a real blight on the impartiality of this list. You're 
> entitled to censor the service as you wish, but removing criticism of the 
> establishment would represent a dramatic drop in the integrity I perceive 
> this resource to present.
>
> I'm not going to put up any fight, but wanted to offer a different 
> viewpoint to your own.
>
> Heath
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
>
C. Michael Holloway, speaking only for himself and not his organiztion

-- 
/*cMh*/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20140220/edc17a95/attachment.html>