Of course not, the dao hack is a case in point. I am happy the ecosystem is spurring growth in formal verification. It's still the wild west and I encourage a

Of course not, the dao hack is a case in point. I am happy the ecosystem is spurring growth in formal verification. It's still the wild west and I encourage anyone interested to swing a lasso.