ARSENAL: Automatic Requirements Specification Extraction from Natural Language
Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan, Shankar, Wilfried Steiner

TL;DR
ARSENAL is a framework that automatically converts natural language requirements into formal models for analysis, enhancing consistency and implementability checks across various domains.
Contribution
It introduces a systematic methodology for transforming natural language requirements into formal models, adaptable to different domains.
Findings
Enables automatic analysis of requirements for consistency.
Supports domain-specific customization of the transformation process.
Facilitates formal verification of system requirements.
Abstract
Requirements are informal and semi-formal descriptions of the expected behavior of a complex system from the viewpoints of its stakeholders (customers, users, operators, designers, and engineers). However, for the purpose of design, testing, and verification for critical systems, we can transform requirements into formal models that can be analyzed automatically. ARSENAL is a framework and methodology for systematically transforming natural language (NL) requirements into analyzable formal models and logic specifications. These models can be analyzed for consistency and implementability. The ARSENAL methodology is specialized to individual domains, but the approach is general enough to be adapted to new domains.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Software Engineering Methodologies · Formal Methods in Verification · Software Reliability and Analysis Research
