Author name: Bethel Hall, William Eiers

arXiv:2605.13817v1 Announce Type: cross
Abstract: Natural-language software requirements are often ambiguous, inconsistent, and underspecified; in safety-critical domains, these defects propagate into formal models that verify the wrong specification …