Vera++ - Programmable verification and analysis tool for C++ Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. The simplest way to learn what Vera++ can do is to see the Vera++ Demo. Vera++ is a tool designed for programmers - not only in the sense that it helps with everyday development work, but also in the sense that all its rules are implemented as