Primary Recipient

UNIVERSITY OF IOWA, THE

Amount

$299,986.00

Award Date

7/15/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

Software bugs cost the U.S. economy over $60 billion each year. Promising bug-detection technology depends on high-performance logic solvers for Satisfiability Modulo Theories (SMT), which employ sophisticated algorithms to check large formulas efficientl