Re: verification Your comment is only arguably true for completely statically compiled languages which have very weak (or no) processing model that can be enfo

Re: verification Your comment is only arguably true for completely statically compiled languages which have very weak (or no) processing model that can be enforced (by e.g., the loaders).