# Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)

Notice 9702cfee87444ea792404ad280b946e0 (solicitation DARPA-SN-27-13) from DEPT OF DEFENSE, DEF ADVANCED RESEARCH PROJECTS AGCY, posted 2026-10-29, responses due 2026-11-13T22:00:00.000Z. Status: open.

| Field | Value |
| --- | --- |
| Notice ID | 9702cfee87444ea792404ad280b946e0 |
| Solicitation number | DARPA-SN-27-13 |
| Type | Special Notice |
| Agency | DEPT OF DEFENSE |
| Sub-tier | DEFENSE ADVANCED RESEARCH PROJECTS AGENCY  (DARPA) |
| Office | DEF ADVANCED RESEARCH PROJECTS AGCY |
| Posted | 2026-10-29T19:47:27.000Z |
| Response deadline (UTC) | 2026-11-13T22:00:00.000Z |
| Set-aside | - |
| NAICS | 541715 |
| PSC | AC12 |
| Place of performance | - |
| Award | - |

## Description

Modern networks need to be reconfigured quickly in response to mission changes or emerging threats, but checking compliance with security requirements can take months. This creates a window in which adversaries may exploit vulnerabilities introduced by those changes. The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) seeks information on approaches, tools and practices for closing that window by reducing, by 2-3 orders of magnitude, the time and cost of verifiable compliance checking. DARPA envisions a capability that would take as input two items: (a) a requirements document written in natural language and (b) the configurations in a concrete network. In an offline phase, it would reason about the requirements for inconsistency, redundancy and incompleteness, and output consistent, non-redundant and completed requirements. Then, it would check, in near real-time, whether the concrete configurations satisfy all of the requirements. In all cases, its output would be understandable by a human.

## Sources

- View on SAM.gov: https://sam.gov/opp/9702cfee87444ea792404ad280b946e0/view
- Data as of 2026-11-14. Source: https://sam.gov/data-services/Contract%20Opportunities/datagov

## Cite this

"Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc), SAM.gov contract opportunity 9702cfee87444ea792404ad280b946e0." samgovapi.io, https://samgovapi.io/opportunity/9702cfee87444ea792404ad280b946e0, data as of 2026-11-14. Primary record: https://sam.gov/opp/9702cfee87444ea792404ad280b946e0/view

## API and MCP

- REST: GET https://samgovapi.io/api/v1/opportunities/9702cfee87444ea792404ad280b946e0
- MCP tool: get_opportunity

Independent. Not affiliated with, endorsed by or sponsored by GSA, SAM.gov or any U.S. government agency. Registering in SAM.gov is free at sam.gov.

Get a free API key: https://samgovapi.io/sign-up?ref=ai-claudebot