The quality of software becomes more important every day. Since the development of software is expensive and users are becoming more sophisticated and demanding, companies should be able to deliver high quality software. The quality of software can be controlled by carefully managing the software development process and (thoroughly) testing the software product.

Since the two methods of controlling software quality do not prevent software products from containing errors, research on software design, verification methods and their practical application, to achieve a high standard of software quality, has to be done. Therefore the Technische Universiteit Eindhoven and the Radboud University Nijmegen join their forces in LaQuSo.

LaQuSo`s mission is to become recognized as one of the leading scientific institutes for quality software in Europe.

LaQuSo works together with partners from industry, government and science and focuses on verification (formal) methods, techniques and tools; validation (empirical) methods, techniques and tools and software system certification.