Iat Tou Leong

Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP

2023

Software verification is essential to ensure dependability and that a system or component fulfils its specified requirements. Natural language is the most common way of specifying requirements, although many verification techniques such as theorem proving …