This grant supports research into Crowd Sourced Formal Verification (CSFV), an innovative approach to enhance the rigorous process of proving software and hardware correctness. Traditional formal verification demands specialized expertise and significant resources. This initiative seeks proposals investigating how collective intelligence and distributed efforts can be effectively leveraged for these complex tasks. Key areas of interest include developing novel crowdsourcing platforms, designing effective incentive mechanisms, assessing the quality of crowd contributions, and integrating crowd input into formal proof systems. The program aims to overcome current scalability and resource limitations, making formal verification more efficient, accessible, and potentially enabling wider adoption in critical system development. This grant is for advancing the intersection of human computation and formal methods.
Opportunity ID: 135453
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | DARPA-BAA-12-17 |
| Funding Opportunity Title: | Crowd Sourced Formal Verification (CSFV) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 1 |
| Posted Date: | Dec 21, 2011 |
| Last Updated Date: | – |
| Original Closing Date for Applications: | Mar 20, 2012 |
| Current Closing Date for Applications: | Mar 20, 2012 |
| Archive Date: | Apr 19, 2012 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
| Additional Information on Eligibility: | – |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| Description: | See attachment |
| Link to Additional Information: | Posting on FedBizOpps |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
Drew Dean
Program Manager DARPA/I2O Email:CSFV@darpa.mil |
Version History
| Version | Modification Description | Updated Date |
|---|---|---|
Related Documents
Folder 135453 Full Announcement-1 -> csfv baa final.pdf
Packages
| Agency Contact Information: | Drew Dean Program Manager DARPA/I2O Email: CSFV@darpa.mil |
| Who Can Apply: | Organization Applicants |
| Assistance Listing Number | Competition ID | Competition Title | Opportunity Package ID | Opening Date | Closing Date | Actions |
|---|---|---|---|---|---|---|
| 12.910 | PKG00089510 | Dec 21, 2011 | Mar 20, 2012 | View |
Package 1
Mandatory forms
135453 RR_SF424-1.1.pdf
Optional forms
135453 RR_FedNonFedBudget-1.1.pdf
135453 RR_FedNonFed_SubawardBudget-1.2.pdf
135453 RR_OtherProjectInfo-1.1.pdf
135453 RR_Budget-1.1.pdf
135453 RR_KeyPersonExpanded-1.1.pdf
135453 RR_PerformanceSite-1.1.pdf
135453 RR_SubawardBudget-1.2.pdf
Share This Post, Choose Your Platform!
About the Author: osnqt
