NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models
Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang
Topics & Concepts
Computer scienceProgramming languageFormal specificationFormal methodsFormal verificationSoftware engineeringSpecification languageFormal languageModel-Driven Software Engineering TechniquesSoftware Engineering ResearchSoftware Engineering Techniques and Practices