{"canonical":"https://abierto.us/opportunities/darpasn2713","key":"DARPASN2713","url":"https://abierto.us/opportunities/darpasn2713","title":"Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)","solicitation_number":"DARPA-SN-27-13","notice_type":"s","open":false,"removed":false,"removed_at":null,"response_deadline":"2026-11-13","first_posted":"2026-10-29","last_posted":"2026-10-29","department":"DEPT OF DEFENSE","subagency":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"place_state":null,"place_scope":"nationwide","site":null,"place_state_source":null,"place_evidence":"Research and development (PSC AC12)","place_county":null,"place_county_name":null,"place_city":null,"place_city_name":null,"winner":null,"award_amount":null,"publications":[{"notice_id":"9702cfee87444ea792404ad280b946e0","title":"Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)","solicitation_number":"DARPA-SN-27-13","notice_type":"s","base_type":"s","posted":"2026-10-29","posted_at":"2026-10-29T19:47:27.330Z","due_at":null,"due_date":"2026-11-13","cancelled":false,"archived":false,"archive_date":"2026-11-14","removed_at":null,"award_number":null,"awardee_name":null,"amount":null,"link_sam":"https://sam.gov/workspace/contract/opp/9702cfee87444ea792404ad280b946e0/view","enriched":true,"history":[{"index":1,"title":"Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)","action":"publish","latest":true,"deleted":false,"archived":false,"cancelled":false,"posted_at":"2026-10-29T19:47:27.330Z","notice_type":{"code":"s","label":"Special Notice"},"request_type":"submit","opportunity_id":"9702cfee87444ea792404ad280b946e0","solicitation_number":"DARPA-SN-27-13"}]}],"latest_notice_id":"9702cfee87444ea792404ad280b946e0","first_type":"s","notices":[{"dates":{"posted":"2026-10-29","posted_at":"2026-10-29T19:47:27.330Z","created_at":"2026-10-29T19:47:25.129Z","modified_at":"2026-10-29T19:47:27.330Z","response_deadline":{"raw":"2026-11-13T17:00:00","date":"2026-11-13","time":"17:00:00","timezone":"America/New_York"}},"links":{"sam":"https://sam.gov/workspace/contract/opp/9702cfee87444ea792404ad280b946e0/view"},"naics":{"codes":["541715"],"primary":"541715"},"title":"Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)","agency":{"office":{"code":"HR0011","name":"DEF ADVANCED RESEARCH PROJECTS AGCY"},"subtier":{"code":"97AE","name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)"},"department":{"code":"097","name":"DEPT OF DEFENSE"},"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"organization_id":"500035490","organization_type":"OFFICE"},"status":{"active":true,"latest":true,"deleted":false,"archived":false,"cancelled":false,"publication":"published","archive_date":"2026-11-14","archive_type":"auto_custom"},"history":[{"index":1,"title":"Request for Information (RFI): Verification and Compliance Checking for Natural-Language Network Requirements (FastVacc)","action":"publish","latest":true,"deleted":false,"archived":false,"cancelled":false,"posted_at":"2026-10-29T19:47:27.330Z","notice_type":{"code":"s","label":"Special Notice"},"request_type":"submit","opportunity_id":"9702cfee87444ea792404ad280b946e0","solicitation_number":"DARPA-SN-27-13"}],"contacts":[{"name":"RFI Coordinator","role":"primary","email":"FastVacc@darpa.mil"}],"base_type":{"code":"s","label":"Special Notice"},"notice_id":"9702cfee87444ea792404ad280b946e0","lineage_id":"9702cfee87444ea792404ad280b946e0","provenance":{"detail":{"endpoints":["opportunity","resources","history"],"fetched_at":"2026-10-30T04:33:45.739271640Z"},"extract":{"url":"https://s3.amazonaws.com/falextracts/Contract%20Opportunities/datagov/ContractOpportunitiesFullCSV.csv","etag":"\"fee52df21fdaac6760f6309dc6a4b5e5-27\"","fetched_at":"2026-10-30T03:37:02.893800920Z","row_sha256":"5db7352bee179465223f0a0b84d790874111ea489eed401f4c5cf64e5fd95337","last_modified":"2026-10-30T03:30:45Z"},"updated_at":"2026-10-30T04:33:45.739271640Z","first_seen_at":"2026-10-30T03:37:02.893800920Z"},"description":{"html":"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.","text":"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.","origin":"detail"},"notice_type":{"code":"s","label":"Special Notice"},"schema_version":1,"solicitation_number":"DARPA-SN-27-13","product_service_code":"AC12"}],"due_at":null,"due_date":"2026-11-13","closes_at":"2026-11-14T00:00:00Z","awardable":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"state_source":null,"state_evidence":"Research and development (PSC AC12)","site_key":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"updated_at":"2026-10-30T03:41:17.879115Z","principal_notice_id":"9702cfee87444ea792404ad280b946e0","description":{"text":"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.","html":"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.","origin":"detail"},"contacts":[{"name":"RFI Coordinator","role":"primary","email":"FastVacc@darpa.mil"}],"place_of_performance":null,"office_address":{"zip":"222032114","city":"ARLINGTON","state":"VA","country":"USA"},"naics_codes":["541715"],"award":null,"attachments":[{"resource_id":"ea190dd1c0cb4abf9ec89c7c2c944b25","name":"DARPA-SN-27-13.pdf","kind":"file","mime_type":".pdf","size_bytes":123389,"posted_at":"2026-10-29T19:47:27.330Z","export_controlled":false,"sha256":null,"url":"https://sam.gov/api/prod/opps/v3/opportunities/resources/files/ea190dd1c0cb4abf9ec89c7c2c944b25/download","mirrored":false}],"awards":[],"related":[{"key":"DARPAPA2701","latest_notice_id":"7cc49984be44476e8798ab0e0c1f253b","title":"High-throughput Unmasking of Biological Interactomes with Binding Landscape Emulators (HUBBLE)","solicitation_number":"DARPA-PA-27-01","notice_type":"o","first_type":"o","first_posted":"2026-10-08","last_posted":"2026-10-28","notices":2,"due_at":null,"due_date":"2026-11-05","closes_at":"2026-11-06T00:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541714","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC12)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-29T04:15:54.363094Z"},{"key":"DARPAPS26137","latest_notice_id":"182eab6ca77d465f931c6dc118b939ca","title":"Firefox","solicitation_number":"DARPA-PS-26-137","notice_type":"o","first_type":"o","first_posted":"2026-09-16","last_posted":"2026-09-16","notices":1,"due_at":null,"due_date":"2026-11-09","closes_at":"2026-11-10T00:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541714","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC12)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-09-24T03:25:58.922164Z"},{"key":"DARPASS2701","latest_notice_id":"4da5bb67e9a641dfb676e165fe44d9f6","title":"Solid-State Energy Conversion from Heat to Electricity Request for Information (RFI)","solicitation_number":"DARPA-SS-27-01","notice_type":"r","first_type":"r","first_posted":"2026-10-23","last_posted":"2026-10-23","notices":1,"due_at":null,"due_date":"2026-11-23","closes_at":"2026-11-24T00:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC11","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC11)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-24T03:56:54.139438Z"},{"key":"DARPAPA260202","latest_notice_id":"4a1aad28cb2a4b2ab1ee408c639202ef","title":"Quantum Benchmarking Initiative Topic (QBIT) Stage A","solicitation_number":"DARPA-PA-26-02-02","notice_type":"o","first_type":"o","first_posted":"2026-03-09","last_posted":"2026-07-29","notices":4,"due_at":null,"due_date":"2026-11-30","closes_at":"2026-12-01T00:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC12)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-09-24T03:25:58.922164Z"},{"key":"DARPAPS26138","latest_notice_id":"e86bce2c7d594d8ba016060da00e8a59","title":"Intrinsic Market Resilience (IMR)","solicitation_number":"DARPA-PS-26-138","notice_type":"o","first_type":"o","first_posted":"2026-09-25","last_posted":"2026-10-16","notices":3,"due_at":null,"due_date":"2026-12-07","closes_at":"2026-12-08T00:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-097","dept_name":"DEPT OF DEFENSE","sub_key":"s-97AE","sub_name":"DEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)","office_key":"o-HR0011","office_name":"DEF ADVANCED RESEARCH PROJECTS AGCY","naics":"541715","psc":"AC12","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AC12)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-17T03:49:26.118050Z"}],"similar_open":[{"key":"68HERW26R0102","latest_notice_id":"82c25ab2750f410cb73817384e8d9fb3","title":"A--SBIR FY26 Phase I Broad Agency Announcement","solicitation_number":"68HERW26R0102","notice_type":"o","first_type":"o","first_posted":"2026-09-24","last_posted":"2026-10-13","notices":3,"due_at":"2026-11-09T04:59:00Z","due_date":"2026-11-08","closes_at":"2026-11-09T04:59:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-068","dept_name":"ENVIRONMENTAL PROTECTION AGENCY","sub_key":"s-6800","sub_name":"ENVIRONMENTAL PROTECTION AGENCY","office_key":"o-68HERW","office_name":"WATER, TRIBAL & SCIENCE DIVISION","naics":"541715","psc":"AJ12","set_aside":"SBA","state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"A--SBIR FY26 PHASE I BROAD AGENCY ANNOUNCEMENT","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-14T03:57:08.970241Z"},{"key":"STITCHES001","latest_notice_id":"dcfc9ac5164d4ca588977708b455e142","title":"System of systems Technology Integration Tool Chain for Heterogeneous Electronic Systems (STITCHES) Sources Sought","solicitation_number":"STITCHES_001","notice_type":"r","first_type":"r","first_posted":"2026-10-30","last_posted":"2026-10-30","notices":1,"due_at":"2026-11-14T18:00:00Z","due_date":"2026-11-14","closes_at":"2026-11-14T18:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-057","dept_name":"DEPT OF DEFENSE","sub_key":"s-5700","sub_name":"DEPT OF THE AIR FORCE","office_key":"o-FA2057","office_name":"FA2057 AFLCMC HNJK","naics":"541715","psc":null,"set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"unknown","state_source":null,"state_evidence":null,"site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-31T03:50:03.904859Z"},{"key":"75N98027R00006OT","latest_notice_id":"2ed32eb005e54aebabfa816c32d2a806","title":"Synthesis and Distribution of Drugs of Abuse and Related Compounds","solicitation_number":"75N98027R00006OT","notice_type":"r","first_type":"r","first_posted":"2026-10-29","last_posted":"2026-10-29","notices":1,"due_at":"2026-11-20T18:00:00Z","due_date":"2026-11-20","closes_at":"2026-11-20T18:00:00Z","awardable":true,"open":true,"removed":false,"dept_key":"d-075","dept_name":"HEALTH AND HUMAN SERVICES, DEPARTMENT OF","sub_key":"s-7529","sub_name":"NATIONAL INSTITUTES OF HEALTH","office_key":"o-75N950","office_name":"NATIONAL INSTITUTES OF HEALTH NIDA","naics":"541715","psc":"AN11","set_aside":null,"state":null,"county":null,"county_name":null,"city":null,"city_name":null,"country":null,"place_scope":"nationwide","state_source":null,"state_evidence":"Research and development (PSC AN11)","site":null,"site_key":null,"winner":null,"winner_key":null,"amount":null,"linked_awards":0,"cancelled":false,"archived":false,"removed_at":null,"updated_at":"2026-10-30T03:41:17.879115Z"}],"similar_open_total":127}