Thanks for this. Too much work in verification has been done by people who wanted to publish math papers, not kill program bugs. This is about creating bug-fre

Thanks for this. Too much work in verification has been done by people who wanted to publish math papers, not kill program bugs. This is about creating bug-free code. I think people will get this now, This might be right, but when I go areading I still find all the maths-orriented stuff.