TAS::57 3600::TAS "COLLABORATIVE PROPOSAL: SCALABLE AND ACCURATE SMT-BASED MODEL CHECKING OF DATA FLOW SYSTEMS"

$600,523FY2009Department of DefenseDOD

New York University, New York NY

Investigators