[SystemSafety] Bursting the formal methods bubble

[Derek M Jones]

Peter,

> Better said, that is not how you interpret what he *wrote*. That may well be. I was reporting what
> he said in his talk.

Google trends shows that "False memory syndrome" is not as
popular search phrase as "Alien abduction":
https://trends.google.com/trends/explore?q=false%20memory%20syndrome,alien%20abduction

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com