The Ada Quality Toolset (AQT) is a set of software tools for improving the quality of Ada programs. Under development, funded by the US National Science Foundation. Will check Ada source code for violations of a set of programming-style guidelines, and correct code for conformance. Corrections can be automatic, semi-automatic, or manual.