The Software Quality Group develops tools and techniques to help industry improve the quality of information technology products. Products include static analysis tools, verification and validation techniques, formal methods, and data on software failures