2014/03/12 by Shalini Ghosh, Ghosh, Shalini, Daniel Elenius +9
Computer Science · Engineering · #Advanced Software Engineering Methodologies #Computation and Language (cs.CL) #FOS: Computer and information sciences #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research
paper · pdf · doi:10.48550/arxiv.1403.3142
openalex publication_date 2014/03/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Requirements are informal and semi-formal descriptions of the expected\nbehavior of a complex system from the viewpoints of its stakeholders\n(customers, users, operators, designers, and engineers). However, for the\npurpose of design, testing, and verification for critical systems, we can\ntransform requirements into formal models that can be analyzed automatically.\nARSENAL is a framework and methodology for systematically transforming natural\nlanguage (NL) requirements into analyzable formal models and logic\nspecifications. These models can be analyzed for consistency and\nimplementability. The ARSENAL methodology is specialized to individual domains,\nbut the approach is general enough to be adapted to new domains.\n