GGrantIndex
← Search

FORMAL VERIFICATION AND AUTOMATED TESTING FOR DIAGNOSTIC AND MONITORING SYSTEMS USING HYBRID ABSTRACTION FORMAL COMPOSITIONAL VERIFICATION FOR DIAGN

$1,590,313FY2008National Aeronautics and Space AdministrationNASA

Sri International, Menlo Park CA

Investigators

View source on USAspending →
FORMAL VERIFICATION AND AUTOMATED TESTING FOR DIAGNOSTIC AND MONITORING SYSTEMS USING HYBRID ABSTRACTION FORMAL COMPOSITIONAL VERIFICATION FOR DIAGN · GrantIndex