I've tried all the methods discussed, and my point-of-view is based on my personal experience and years of involvement with formal methods. You've tried none, a

I've tried all the methods discussed, and my point-of-view is based on my personal experience and years of involvement with formal methods. You've tried none, and your point-of-view is based on... a couple of blog posts you've read?