Correctness Lab

Organisations depend on correctly functioning software to fulfil their goals. The HSR Correctness Lab offers support in a variety of techniques and technologies that aim to increase the reliability of your software.

Our Services

Software Development

Development of Software and Custom Algorithms to suit your exact needs.

Software Health Check

Independently judge the quality of your software project.

Software Reviews

Reviews and recommendations to supplement your software development process.


Consultation on various issues related to software correctness.


Tailored Courses of varying length on specific aspects and techniques to ensure software correctness.

Our Portfolio and Projects

We developed and maintain several projects that are used by a wide community and educational institutions.

View All Projects

About Us

Director: Prof. Dr. Farhad Mehta

In case you are interested in any of our professional services, please contact us. We will be pleased to send you an offer.

In addition to our professional services, we cooperate with companies and other institutions in the areas of Research and Technology Transfer. In case you have an interesting problem or idea that you would like to pursue together with us as a research project, please contact us.

Profile Contact Us