Comment by antonvs

My point is that despite what you're saying about the possibilties of formal methods, it doesn't have any bearing on the claims in the OP paper.

More bluntly, it's irrelevant to the discussion.