Automatic Translation of Natural Language System Specifications
No abstract available.
Related papers
- Trustworthy Formal Natural Language Specifications Onward! 2023
- Fortifying macros JFP 2012
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models CAV 2023
- Leveraging a corpus of natural language descriptions for program similarity Onward! 2016
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- An Evaluation of an Automatically Generated Compiler TOPLAS 1995
- SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models OOPSLA 2026
- Specifying and verifying sparse matrix codes ICFP 2010