Correctness Lab

Services that grow with your code

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.

Correctness Lab
HSR Hochschule für Technik Rapperswil
Prof. Dr. Farhad Mehta
Oberseestrasse 10
8640 Rapperswil