Verification and Testing Research Group
The group's research interests cover a wide range of topics in software engineering, formal systems development, software testing and the theoretical foundations of computing. Computational modelling in many forms lies at the heart of the group's work. Because of this broad range and the tradition of a holistic approach to the field the group prides itself in developing research interests that integrate all these aspects. There is a genuine interest in developing rigorous theories and integrating them into practical software development techniques and methods.There are three themes that underlie the group's work:
Contacts: Head of Group: Prof. Michael Holcombe, VT, VT Postgraduate Students