RFI: Levels of Resilience through Formal Methods

Estimated Value: $1,000,000
Open 35 days left VAInformation Technologyother
May 4, 2026
Jun 12, 2026 5:00 PM
Information Technology
other
AI Summary
This Request for Information (RFI) from DARPA seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance. The focus is on formal methods and their application to software development to improve security and reliability.
Line Items
ItemQtyUnitEst. Unit PriceEst. TotalCategory
Information on Approaches for Software Resilience and Assurance 1 each $50,000.00 $50,000.00 IT Services
Information on Tools for Software Resilience and Assurance 1 each $50,000.00 $50,000.00 IT Software
Information on Practices for Software Resilience and Assurance 1 each $50,000.00 $50,000.00 IT Services
Formal Methods Expertise and Consulting 1 each $200,000.00 $200,000.00 Professional Services
Software Assurance Tools and Technologies 1 each $200,000.00 $200,000.00 IT Software
Software Development and Integration Services 1 each $450,000.00 $450,000.00 IT Services
Estimated Bid Value$1,000,000.00

Want the full details?

Sign up free to see the agency name, 1 document, contact info, and the original bid posting link.

📎 DARPA-SN-26-71.pdf View
Sign Up Free →

Related Bids

Browse More Bids

Bids in VirginiaInformation Technology BidsClosing Soon All Bids