Inspirel banner

Vera++ - Programmable verification and analysis tool for C++

Vera++ is a programmable tool for verification, analysis and transformation of C++ source code.

Inspirel is proud to be an initial author of the Vera++ project, which was later passed to the community for further development and maintenance.

Please visit the new offical Vera++ home: