Welcome to the website of the Software Validation and Verification Research Laboratory (SVVRL)!


SVVRL is a research laboratory within the IM Department at NTU, committed to research excellence in Software Methodologies. As parts of the software development process, Software Validation concerns the objective of ensuring that the right software is built, while Software Verification concerns the objective of ensuring that the software is built right. Our overall goal is to develop methods and tools that facilitate these software quality assurance activities.

Pronouncing the Name ...

We pronounce the acronym SVVRL as swirl, contracting the “double V” as a single “W”. You should be able to access this website also with the contracted acronym SWRL.

Last modified: 2016/12/06 17:27