← All awardeesRIVERSIDE RESEARCH INSTITUTEUEI HRH1XLHY1XJ3 · 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)HR001126CE068NAICS 541715$734,721May 8, 2026