Research and Education
You are studying informatics?
The students of today are the developers and decision makers of tomorrow.
We at Verifysoft want, that you use only the best tools during your education.
Our technologies are used by hundreds of companies in more than 30 countries all over the world.
When you join a company after your studies, there is a very high probability that your new employer uses our technologies. You are well prepared to your professional life when you are already familiar with the usage of our tools.
Verifysoft offers best technologies to faculty members to extend the use of them to their students at no cost.
Our Academic Program covers the tools Testwell CTC++, Testwell CMT++, Testwell CMTJava and GrammaTech CodeSonar.
is the leading Code Coverage Analyser.
The tool is easy to use, works with all compilers and with all important operating systems. With clear reports, Testwell CTC++ is an ideal tool for learning about all coverage levels.
are tools for measuring the complexity of your code.
They are very good tools to understand metrics like McCabe, Halstead and the Maintainability Index.
Are you interested in using Testwell CTC++, Testwell CMT++ and Testwell CMTJava within your school or university?
We will equip your class-rooms with our advanced technologies at no cost
. Request your free licenses here
Research projects can obtain Testwell tools with very interesting conditions. Please contact us
GrammaTech CodeSonar is a leading tool for static code analysis. CodeSonar finds errors in your code without executing them. It checks also for programming standards like MISRA.
Are you interested in using GrammaTech CodeSonar within your school or university? Apply here to GrammaTech‘s Academic Program
Verifysoft provides developers and managers with seminars and workshops
As a student or university member you can access to our seminars for very interesting conditions.
Please contact us
for further information.
Use Techologies in your Courses which are used by Hundreds of Companies and Organisations
Verifysoft's Testing solutions have proven success in safety and security critical software development within the aerospace and defense, automotive, healthcare, and other industries.
Many universities and schools use Testwell tools for the education of their students (partial list):
Hochschule für Technik und Wirtschaft Dresden
Technische Universität Dresden
Université de Strasbourg
Université de Technologie Compiègne
Université Paris Sud LRI
Haute École ARC Ingénierie
East Carolina University
University of Southern California
Read here what people from research and education say about our tools
"The installation phase of Testwell CTC++ was easily carried out by the students. It is planned to encourage students to put in place unit tests with measurements of the code coverage rate for all projects."
Read full Testimonial here
Valentin Py, Research Assistant
Haute Ecole ARC Ingénierie, Switzerland
"Nowadays, software development processes focus more on modelling and verification steps. Future software engineers should be acquainted with methods and tools for designing, implementing and validating their code. This is why we introduced Testwell CTC++ in several software engineering courses, from undergraduate to master and engineering degrees."
Read full Testimonial here
F.Zaidi & D.Longuet, Associates Professors, Maîtres de Conférences
University Paris-Saclay - University Paris-Sud, France