# Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc) Canonical: https://abierto.us/opportunities/darpasn2713 - Solicitation number: DARPA-SN-27-13 - Notice type: Special notice - Status: Closed. Deadline was November 13, 2026 - Department: Department of Defense - Agency: Defense Advanced Research Projects Agency - Contracting office: Def Advanced Research Projects Agcy (HR0011) - NAICS: 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) - Product or service code: AC12 National Defense R&D Services; Department Of Defense - Military; Applied Research - Who can bid, by location: Anywhere in the US. Location does not limit who can bid: a product shipped to the buyer, research at the performer's facility, or work at the contractor's site. A state shown is the delivery point. - First posted: October 29, 2026 - Last posted: October 29, 2026 - SAM.gov: https://sam.gov/workspace/contract/opp/9702cfee87444ea792404ad280b946e0/view ## 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. ## Attachments - [DARPA-SN-27-13.pdf](https://sam.gov/api/prod/opps/v3/opportunities/resources/files/ea190dd1c0cb4abf9ec89c7c2c944b25/download) ## Open now in the same industry 127 open in NAICS 541715. - SBIR FY26 Phase I Broad Agency Announcement (68HERW26R0102), due November 8, 2026 at 11:59 PM EST. https://abierto.us/opportunities/68herw26r0102 - System of systems Technology Integration Tool Chain for Heterogeneous Electronic Systems (STITCHES) Sources Sought (STITCHES_001), due November 14, 2026 at 1:00 PM EST. https://abierto.us/opportunities/stitches001 - Synthesis and Distribution of Drugs of Abuse and Related Compounds (75N98027R00006OT), due November 20, 2026 at 1:00 PM EST. https://abierto.us/opportunities/75n98027r00006ot ## Publications - October 29, 2026: Special notice, due November 13, 2026. Notice 9702cfee87444ea792404ad280b946e0. https://sam.gov/workspace/contract/opp/9702cfee87444ea792404ad280b946e0/view ## Points of contact - RFI Coordinator, FastVacc@darpa.mil --- Source: SAM.gov Contract Opportunities bulk extract. Confirm deadlines on SAM.gov before responding. Cite https://abierto.us/opportunities/darpasn2713.