The SQRL conducts research in innovative software development techniques. The laboratory's research focuses on integrating sound, mathematically rigorous principles into the software development process.
If you are interested in how rigorous specification and quantitative testing methods can help your organization, visit the projects page.
If you are interested in research conducted at the SQRL, visit the publications page.
If you are interested in software developed by the SQRL, visit the following SourceForge sites:
|Address||Min H. Kao Building
1520 Middle Drive
Knoxville, TN 37996, USA
|+1 865 974-3461
+1 865 974-5483
|Links||Department of Electrical Engineering and Computer Science
The University of Tennessee