|
|
||
|
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: https://bitbucket.org/verateam