Contracts Solutions Features Pricing How It Works

Log in Get Started Free

Get started

Ready to win contracts?
Start finding opportunities now.

Automated discovery, AI scoring, and pipeline management for government contract opportunities.

Get Started Free

DxDrexault

Browse Contracts

All Contracts
Closing Soon
New Today
Set-Asides

Learn

Find Contracts
SBIR/STTR Guide
SAM Registration
Proposal Writing
All Guides

FAQ

CAGE Codes
RFP vs RFQ vs RFI
Small Business
SAM Timeline
All FAQ

Free Tools

NAICS Code Finder
FAR Navigator
Capability Statement
All Tools

Solutions

Small Business
IT & Software
Veterans
All Solutions

Company

Compare Platforms
Glossary
Security
Changelog

© 2026 Drexault

Home ContractsCrowd Sourced Formal Verification (CSFV)

This opportunity is closed.The response deadline was Mar 20, 2012.

DARPA - Information Innovation Office

Crowd Sourced Formal Verification (CSFV)

DARPA-BAA-12-17GrantGrantGrants.gov

Quick Facts

Set-Aside

Full & Open

Description

See attachment

Submission Details

Response Deadline: Mar 20, 2012

Details

Type: Grant
Deadline: Mar 20, 2012
Source: Grants.gov
First Seen: Mar 1, 2026

Point of Contact

DARPA - Information Innovation Office

[email protected]571-218-4375

Secondary POC

Drew Dean Program Manager DARPA/I2O

View on Grants.gov

Do More with Drexault

Score My Fit
Draft Proposal with AI

Market Intelligence

Sign in to view market intelligence, competition analysis, and spending data.

Browse Related

More DARPA - Information Innovation Office contracts →

Browse Government Contracts

Categories

All Contracts
Closing Soon
New Today
Set-Aside Contracts

Top Agencies

Department of Defense
Department of the Army
Department of the Navy
Department of the Air Force
General Services Administration
Department of Veterans Affairs
Department of Homeland Security

Track This Opportunity

Find Teaming Partners

Chat with Solicitation

Popular NAICS

541511 - Custom Software
541512 - Computer Systems Design
541519 - Other IT Services
541330 - Engineering Services
541611 - Management Consulting
541715 - R&D (Physical/Bio)
518210 - Data Processing & Hosting
561210 - Facilities Support

Set-Asides

SBA Set-Asides
8(a) Set-Asides
HUBZone Set-Asides
SDVOSB Set-Asides
WOSB Set-Asides

By State

Virginia
Maryland
Washington D.C.
Texas
California
Florida
Colorado
Georgia

Free Tools

NAICS Code Finder
FAR Clause Navigator
Capability Statement Builder
ROI Calculator

Compare Platforms

Drexault vs SamSearch
Drexault vs CLEATUS
Drexault vs GovWin
Drexault vs GovTribe
Drexault vs SAM.gov

Resources

Contracting Guides
FAQ
Glossary
Platform Alternatives

All Agencies·All NAICS Codes·All States·Contract Statistics·Compare Platforms·Free Tools·Glossary

Crowd Sourced Formal Verification (CSFV) | Drexault

Similar Active Opportunities

If you're interested in this contract, you may also want to bid on these.

DARPA - Information Innovation Office

Information Innovation Office (I2O) Office-Wide