Primary Recipient

UNIVERSITY OF TEXAS AT SAN ANTONIO

Amount

$425,000.00

Award Date

6/19/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

Pervasive societal use of information systems has increased the need for software to be both reliable and extensible. One technique that can be used to improve software reliability is the application of static analysis to discover and validate that prope