Primary Recipient

TRUSTEES OF PRINCETON UNIVERSITY, THE

Amount

$500,000.00

Award Date

7/01/2009

Administering Agency

National Science Foundation

CDFA Number

47.082

CDFA Program Title

Trans-NSF Recovery Act Reasearch Support

Description

This research focuses on combining foundational and lightweight formal methods to verify the safety, security, and dependability of large-scale software systems. Foundational approaches (to formal methods) emphasize expressiveness and generality, but t