> Logic errors always stems from lack of understanding and inattention Really? Never from limitations of the ability to express your mental model in a way that

> Logic errors always stems from lack of understanding and inattention Really? Never from limitations of the ability to express your mental model in a way that's formally verifiable? What a strong claim to make. > There are static tools available for C as well. For checking the semantics of the code itself? And why discount the fact that a tool being native means it's easier to adopt?