Primary Recipient

CARNEGIE MELLON UNIVERSITY

Amount

$3,845,723.00

Award Date

8/11/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

Collaborative Research with Carnegie Mellon University, Jet Propulsion Laboratory, and the University of Pittsburgh. The goal of the proposed Expedition is to develop the next generation of model-checking and abstract-interpreation technology so that for

Recipients Connected to Award

Recipient	Role	Amount
CARNEGIE MELLON UNIVERSITY	Primary recipient	$3,132,935.00
CALIFORNIA INSTITUTE OF TECHNOLOGY	Sub-recipient	$462,458.00
UNIVERSITY OF PITTSBURGH THE	Sub-recipient	$250,330.00