← All contactsEtedali, Ali Bali.etedali@darpa.mil · 1 award · $734,721 totalAwards?Sort:Date▼AmountHR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)DEPT OF DEFENSE / DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA) → RIVERSIDE RESEARCH INSTITUTEprimaryHR001126CE068NAICS 541715$734,721May 8, 2026