Software Verification and Validation Lab

This page publicizes the activities of the Software Verification and Validation Lab at the Universit

The Software Verification and Validation Research Group - V&V Lab - is headed by Professor Lionel Briand. V&V focuses on the development and design of reliable and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream V&V activities, primarily software testing.