SAM #HR001125S0002-HR001126CE068

DARPA Awards CARVE Project R&D Contract to Riverside Research Institute

This award notice announces a contract from DARPA to Riverside Research Institute for the CARVE (Code-to-model Analysis Ready for Verification Engines) project. - Government Buyer: - Defense Advanced Research Projects Agency (DARPA), DEF ADVANCED RESEARCH PROJECTS AGCY office, Arlington, VA - Awardee: - Riverside Research Institute, Fairfax, VA - Products/Services Requested: - Research and development services focused on code-to-model analysis and verification engines - NAICS code 541715 (Research and Development in the Physical, Engineering, and Life Sciences) - Notable Requirements: - No specific OEMs, products, or part numbers are identified - The project centers on advanced R&D for software verification technologies - Place of Performance: - Fairfax, Virginia - Contract Value: - $734,721.00

Description

Code-to-model Analysis Ready for Verification Engines (CARVE)

View original listing