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.
Development of Software and Custom Algorithms to suit your exact needs.
Software Health Check
Independently judge the quality of your software project.
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.