Grant: YALE UNIVERSITY
Primary Recipient
YALE UNIVERSITY
Amount
$580,000.00
Award Date
7/01/2009
Administering Agency
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 they