Bridging Requirements and Assurance: Neurosymbolic Autoformalization for C++ Verification and Requirements-Coverage Testing (Keynote)

Authors:

Open Access

Publisher website

4 October 2026

conference paper
Published by Association for Computing Machinery (ACM)

p. 2
DOI:10.1145/3842652.3850233

Abstract

No abstract available